SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 ? |$ ]/]HOLCF:threads=2elapsed=18.858cpu=37.344gc=2.608factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6s xtt\-K>~1'.Y\¥|dR][5 FM4+N&NA K(6SߢrÌ,f=+8lN'`*v j?38j UIscN?ޭ.-FBLѤ!yuDKJ{E5͘ `hƞޚalʽ=FeCЅ,^f^ʨZ+["&IJubE tՂ5N(ux3Tjb_̖4|IrESUs6S? /;χ*%4stp^t^9AHAؤ%?FTfi˦1%.WwLh;Bg7)f\w!;O<ștʯКFK,ԩ@/wWq/eEC+a-j^a4vsט0,E!C64Fw5-TL{eap.t7Iޅ4&j4-+̏o,=W.j}\lmatT! g`gYZ7zXZִF! J]ŗXiɟ1˦r~KunύNN{դlyž8ZoN89n^ZY=盲o- bw0>p#YjLV,q>dKY nZFoYeX]}9e6H)$v?!dP"d$ S*sXԂθ#hh4G_3*!ޣt$?HCUƛ6[vpkXhkeN[œą~ :_ŝ\%֨x^4i5`1''d}ubv –I1BQC_J0ʗ [:Fjx SѲQY7KK(7YM*bٽ*eH|!>kU=l#0h5yn?< gQQ $= 0Vmp K?c5eqX 0|<邱gYZ7zXZִF! n]ŗXi%;UF4+drU&D?;/wiYRyg h0?4ҝ9l4,Hj (PS+H@tGg5ܹQRw0" 2͑_nW64!TNӢvdZ]ĺF/6P(i&sr^6Õ~/ȉZ#D#`1%kywu 6D/_bp;^\TώiEk8,_L2!y *k*(ٟ>uY:-۬Eui9'lovp7 7πSJ/.NP}˺bFm2bktgT#&-~Q}%f%섗#=V_ d˒CP^<R1&П}"$IpJniM:,͖hYgr^}QG*dzVO3b/)EdDp܉@Ps߃и뵗-8`k j0 |FB͝du|Aq,%,Jy'a"$lІ .Bͫt`}0"2)-״#TLy65?sm80HגE&gix8-gvQ3z#77 |gYZ4367406e0d113473db1e3d8afa62a0aa1834122af82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb99ecd7f7cfb43e2f575ac3077627e2c33001f83e  HOLCF