SQLite format 3@ . YYQ77Atableisabelle_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, "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 22K3 L, ]/ IEEE_Floating_Point:threads=2elapsed=21.963cpu=33.688gc=0.644factor=1.537zXZִF! x]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7xLgbLwgP&r9bed`z(1Lǐ]rߍ7.iJk=)yĬ U p?ns_cג"f*iHr#3#Z}XE j0e-z$(xRWM+z15YUX4(kۘuZһ M =+ȶrp F5DuG|8,]@$S]N Lڣ/; `F2Vȿ cDY(Y}ģ}8؃!V^Rȳk#!z֩A;4U;TgYZ7zXZִF! p]ŗXi%6f}{L-~mdyIb4S+Z1}=^B.>In+0w"ڞi$ˍR{Xiz̍oNUP UsrV~ȸ0@?yjγ&Df=Xjrx}HY u%NZbiJ(:Y%T~VDe\`az\tI92=z}!HHZhEN :,D?:W??R9t^*M曭WN dyr`T=ǼXVw͆!B&nwIRƟ\š`A!Ow VPDmh<5dj2t h;FBp:Qsӏ{Prm i%^e0Z?8g%=_[ ߄D-ʸ׳GCXA]Y~e=xeۼb.HCB EBnwHͧ$-5cv,h DQ"t,.+=8{zqR2=%gTtaGŀsR ռݓ)n}%',U"Ά좑 Q?#LcH+×*hAsrdҀC0'YzWB|Mp}!wMlر!o;y',ണ݌EGe?2Kt<2_Aǰԑ瘄N$2h©:|_ JX c{6^K],(R0=zF˞Uwyq'~i&}D`4L4^y'`ߖ)眕b};5P s+1F:RCa#dȇD ?ds7''NЕugWz>TQY_FYHCw&䁧yRiŠDg3]aj:Ni [ cҜ'h{jS}=,{_lcNG Dˏ﷒,x%}QccX1n*{=P|I?̷Z1ybw|,fina(Jan^L,`)aO;sS)F!khF&})m F{n)5@zGv#vCB* lTJpg`4F54Z}8d12dgmnǴt4^z  (gYZ7ac066852c90d484d63a1ed945db67201e08704d0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 3 IEEE_Floating_Point