SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info =d w Tail_Recursive_Functions:threads=2elapsed=4.333cpu=8.360gc=0.432factor=1.937 = Tail_Recursive_FunctionszXZִF! ]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+3UPOՈZ oF=it6oPkM(%fZ{\B@5Z^|L !d:p[nʼnT"f|_j1q.qx9KO6n8`\2C]7!N,?𥊟{z&I)I16 ayGvr 0Y_}h'X31J͢7'4sn[n<A]b}{y iEq0OM8c$_2N"+ TiZz&i F^7ZV>uv953WNAxNji~Ń#Cbܯ5D5w\J֤q]=I0wP}A8IFd2>$}ˬ*6; j$Ywݖvh#@X72}C4‡A9O$F/8į7 `%y WD"zUS|)nlӇB=`{8k*.VGu6jO ){ϸg*&mU0Qg-lK;`|%<qtWeޒrj~̆.dz S[UQ˱9w7'}7RէFsl6qW(iym X]@E ~CԯuDVF;wC)Q{:ge٦bYmۏ6N38 7*gk݋: 翅vǜKyPsޙe[{)H=a&X^X&Ȃ);4Pz~c["F-jwd"[g}j^LA6H#ov1yeyWCue UjѧW]ᘈ .O8q /LD6DlXTL [q%Ņb6kfdC<@~U(ϗ)}t\7T τ aPCcYjlfDTUc;xt-mkXQR8~6EU&eD Ac㵱gYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c41956222804680f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c