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 @@% \ E/ Corec:threads=2elapsed=63.540cpu=99.820gc=6.296factor=1.577zXZִF! <]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^8ֲ::*@׎C3 5U=wŅRd]?M%0uwV(׮̰[WPT"X{8\Rѧ[q֭Zr=r;IMM#1  u۵ezX}?AUCd3:9߾5v=E'mdKKnvlsHv <ή9q򝣠c[5rR;Cy\ԏcjnI=RDooz7yÎҜc7FB$9iN H7s?r\l=b;p1a㾵TSgyʃ *&ZMv7Daoyw<f-,R~N%`=`z /(B?{0.UP~^p}` o ֔Nk1Y~Z6) `Up[ЈR(U1G楎G[_ L`9RǨ|x"{re!^uʲɼb< +L'4W3h[Igz6e7;Wz<\z*rR|{Re+MRoCV_d{[=uqIxn#@}khМK\n:'yHbeu8/U_WҋJakܽg1t'2pwo`82OUWHJA82DgnBj7s=݁Ori.V쌾bV߬s*/<}G^>O SC,4=0[ZwT/RjaBU.W-t$̉z+x=0h H 18fw`{9ŝ3H;@CZk`1F Bt=$xi}Ӯ4gi8k{!Qi?W__P ̒Qh;7},O|.MWkʡ6 >4ָYϋ?,@#]{/=7V%_C<2˹W̷z/aDM}al>T600,/}7սxc<*MDQLjE8:y9*cϬfRsO4a )# awG7dԭe 5G[[g +2 ˍv$ ƫK$l5W9{ <eg){_0WA dk4kƤ` `V7TWseZXM&U(98"W}"cz8T4~pzX~R(Hb 5 L '{OĹ@q?KdC&~zH;Ѩ6ЩGftѭGxy}ܩo6U܁=`J=.vE svyz ~#Aע*Dm *N,[+Y]ʘh%G^*<=7-y֭tMGڵ%w)\mՔ, /5J40 ,-]x$lFqc7ܡ"a'^]6 XzjʉZ_o@'P_z, uDo^$?YldhwպV"9J~WP=V/+-dx[IerN5Xvԭ}'6lb:1!ԌQjk{ ,jWٓ؝H(_Ԫk.}Ip"B\VaCjŸ_Cf7O.S0/T5+@05!|hr fdİ:DLOMXP7lgYZ007664efb3738ca409342bcbf25b57d436593bcf 345733401f52a910d8dadb57e7e63432afb912ce 36545764fd444e531db13bf1c0f3ea261fccf9dc 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 513effd0b9a67d2a2e9ba2830d3ad6f26b4aeb81 5a8bf46f142fabbc62d8f177806670fdb6d4c2f2 8f194db846e67a7e87b25a27fa8ba1259c4af82d 978214ea1fa77924bb888509e270ac1cc77bd972 a438efea6288f9f4f15f7d643bb504a34d38c343 a634d2977750efd14daaf8018feb1fdee3310b68 b004bec88faa3c7d786fcf116279519116b87a63 b549213b2aef49e3da5304ab78395d90a826e17d cc208ed3a7c8d606faf4ae986d288f99b98dfcde cca035523dddb33f6c1096c40433b20f796d9748 d4a7c808b5209d986d7d6f6b5f43b3451099554d da1567c528c0591b76c11bbf612dc90f71ec564d e5665e756f50b5a5d1e5c4ad5fa3be76bf26c5d2 ee65f2c2037ab84b1219c11273d319f0dd809abc fc7344ff3b0e3dfee6086e358daf3f162204296e fd2b02dded527fdedfb330e24b0df02361aff2bb014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa