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 BB;- l4t ] HOL-SET_Protocol:threads=6elapsed=20.641cpu=84.484gc=2.236factor=4.097zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3r>_Gq9$gCPdڡz;k^}M$jb Q~+@)$vG"kU6) aLO(3ާ%Ƃ| "o~?l a'%i̭u4w'~{L7.!O/JyB6 0´Ԇ;`?딕]ZV"w1H[@=rO!Ny ՐPdk|*p񐨈S-]!gzB_ WA1 q*.zձޤSƓ\'~[n\}b+ը2  }oe&Hhkܪ"3EmFȷOȳV-[Á?.X_잿ffde`ܿgBW(wNtva4XZSZ9?]3܈|v(M4`},sSj^.ޅΏϥ\*ݸTUj4*\-$qSDl-2F` @BVR#u+Ǣ/of/# bM=^$pJӦhsX1*xmr*1}h$ Mj%{v Fp"-wLuq)̚UAp2ݩ&'&ծΨγEJ/*}HG1EftK"皕Qy@gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxxg _ɒ![ߟvu1O+gZQU5ըdU[;_gs뭚RH',Ę'TqYcj욻\^o6( ߨG '=*́<[ko7MbE[O$gYZ7zXZִF! cXq]ŗXi%9#j У_gulDOR+:Rft CAExFh1MPFdybO;F]tÌ;<@8c[‘Oǡ)x'|JD !<8T~>@S Z299pI%ٸff#uO:[~z*}J/ 货\?cfJ*"C7\Bf8PK| HljifzcąnjׁR+%IS\3lQD}^(BGۘ: N%Uu[JÏ ofљ8gAj0n{E½1^(bl`=m4P;#>2HR?5+Nӹ<Ag[;{sƘ91a5JN,TIMlr<Dߖ/ݞZvaO#*et;# l^C158| Ԇyk?}SK"G{PCV$gcK+gBw+~?MES%\P3::C_±/Z7i[R2Ѽ^x3(:9;]Tg0jrvE+b];HIꁱȲkg1Ti{KP^>٣>^@d%fΦݞTAi?PnU87UORxG2 o+N4 zLUaKHS$#M?A>KkO{lP,2k^"^<Ӿd`sO""p 6/oCM -;o6NF ܰ4d _Bv؜ VJY˅[317Ů8DAyAM/姜0uUV 9FOwq3yn33_IVv$,LAh\e%N:y!6C 4/g4e^u tDZ)1$u`4<;R'-Y63J4Y">,pfiJͬŷާhgD2wz_[45TPcX×۰{oN}"7H1&4V2oj.[d2(懓|~ ҦJk"HǪ^`&qEqv@@Bƀdx+q+ʱ .}&2iU"ݠD<=Ƹ"zFyBct_wYL-P *_~p瘍&.`4;pw^(Z-$Z~S:Gv"G-zB:~΍וa8x-SN4Bx8a=]A/uɵD~Eu/[9 tk =hų2ȋfy