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 z+ d ] LightweightJava:threads=2elapsed=51.842cpu=78.036gc=3.160factor=1.517zXZִF! Fl]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷owsKʶ+T ^&湘 ˷^ğDq7ExiTw3A.A߄rVѾj״|"U^{QV<&" ;#oHY(ߦ#u&9'܊-SܖWw%5Hv;P} a8 + LightweightJavaci5f\I}2GmXJ{AHM N^֎`݆%Pޤq(r7|P1V~< ^2pQXw`ŞcW: To4 Aop-mBd0RMUNhǙR lr.r=vxM4eC)BZk vSpqLCtg>qIlFx}Rq*_eݔ!>e\O8zZt/paMHRU}ڢ uMM\2S4DzqlV_] iY|+6<)]̌B[G2Zex$ute>x۫ދ*"럙#ڥ1 2 J5QNt .u1kz.|F_Rf2I?z+O[ :1t/9wU,4EJZcA< F,0R뇼>bwk&1ɼMi,tP f(ppH1+l@\sRڭ'b Ƶ-s^?-ޘ?o`nh+2pZ4\G8Hߌ/"zK+kGRZ̟/Xǣ:8;_`ڭ/!.7iM XU Si`F'oi\6[^EuFMC*՞|dsDEDG.@%?nз[To 7gYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9QD+U]8a}0'qKAR.8J rٝ*R9#9P̻ݜԬCxna=؄~l"gYZ7zXZִF! . ]ŗXi%9(SN'4tgT` pM &`4'b.Sm .\Lk:%jn|*Z־WZuYgyЃ6l2l2T#Uע~ Hw[]|_fP/fR{>UۿkY>܊D&&j#Ox1!GpBhS8YvIcM%Kj*Wx7o7޼-gK{3~J0;&`RʣC1S{8T4{QI1R3x,qu [0M wIxfц&`J`Ot &>ۃ$1hW.DٿR6dp: t갤npe[1QYrԸ!;1:BW3#Q 7HϮqk3g_!NLf2PS%y slK@bpɔ;xDy0d YjBgÔ|EhhTkK >8wԇ4w$_l\ +??6+lCp]2|HS+*LyUK(N|]{`[-kf?(ޡM9ŋe͘v-]nElƇG:'(hN'ӪKJR30MLe`E͉D[Tcs߬ߞpdiFd{ ~/BGDĝsY)vȏ_ @[8*yꍈ.E.2lcꀄK.g9vo,-"sȏYNbcM.nbc)&:ۄFra4>vY0PC Ƒء"<I`Rz>jYw$X ׍b@x[Y^UnAP?0P6$v/ ؋d%Lc 7bfck{G9tN*de/[UPun4 ߚ%I/Y̦T]ܷb+py\0 REtǾJܨ߾'ćUkX+ >$(M*ua ϩlgkP\'g/7ԂRnt03 ]Tf\:A!. (ڰ,]3(۞^k/0*26 JߙDnfwVx~n3J|:S2,[36Mĉ7 ,@GN2|E7]qP'5s5@@j;4>0SkW5ORS$#\f^ZxJJoOרkHlcmmXh졍ܹ;; a'˖BuFcL 65"|f솮7jm5&1fmˬɽ_ӣ}x,*; զ`l/-b WkQLWN{+w2U#׭j+͉bK@cI)@Ľy8>^ے3/(=*r$Ha+ۇ.̮1UtNdKT頁]?ɧxbXgpHgYZ19e2083e3b73b5c89383a84a6f57756dbd2ca9042722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af