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 .% Dt ]/ Completeness:threads=2elapsed=17.740cpu=31.648gc=1.604factor=1.787zXZִF! \]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmybӊ;,ÍbA[{g#x ԟ>F,fBD'}g."Gy'UH\iYxcP4_~lUV*jb_~ERq !e5Х?ٷ"k"lL;(MQTAFlۙ^F`KUMH{FS\XRm_AGHe&n!(MpiJ(}ߒӋ0(e")vqs)H%lBnSZc1oa{#rIͱH.4M g;!ewPxZ1?'`3x=9󣻚ġ<|ĜmXvJ߃pp[k-΀ 4~{:\]ޝSt2coL:Z%Q-r)_tpWq{@T^xXTO^(ER0zQZ@Xs/q#*ޑJFNh.(x~QDŽ E^9"Zd=|0X"Օ4gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&bMz d2NF*ڊF{t~40h2%9ٸ)k{W,9Pq'qd[hbB4 ЙCXdR8V`ki%~?utGOCyqY|Fmm>;Y$/<m})[t+gYZ7zXZִF! [E]ŗXi%6SuY^1o6"!QXGBamf08g|Lci^l<Z`CO|z;' 'O>c0b{IoM^(o}%V|'|˴*B -injOȥO{ 3/,_u؛HԄ/T-Wc^_D P!u|qa(uIUgce3:2tI;}c2F83[Ƭ~aIDy鎗 f@yQZ|:h@7( מ$چx ZgAZrLVlXoj02nѣ8׉ )k43ʻOQ ƛZ/7/JnvߗLsR 7& .g4b= 1' i*b%7gy^ƋiSdM.IL6VhcJ2 A_qȫ7I]D8_S\s>q-ޥC"(WɽrلrjFUaEl3f!Ѐ&[| ؞خJ.&O2(xߵ\nغ#4|$q'* c 2'@Wt;YaͅgW۸ oU_i2~U0ՐHR*b-c7bG+یNc7Vl#$ 5#Dv]Γ3JPu`s,'Yڷ}@Cʠ+Xc=#cuzS4!ri#(r|}'r+ R1׸Lq@1&Coh5?W?祠~TwDgŠԁG#gLΡ"vt%