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 0% t +/ Completeness:threads=2elapsed=16.975cpu=30.056gc=1.656factor=1.777zXZִF! ?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj I燈 Dڬa?8VJ N=Hӣ aFD鷠zhVi6Ri7Wqd \_<9"F)E#y*Пq597#m"?(+#0CN٩6hA6rX֙AnK xtw; tG8U#ETCWns㊁Pi\l7g0Eިf|g5I L8ma"!]]Znk02$aIܨlחyt`e0KN#pakdu +:+jSyi}YW5՜RM7%dDX EbBߗv}ٯfL3 ڦ{Gp 8TZh O!9xgFP0XaTίrEIH̥rx K ی1c%?3Jwh-F7(_8 !8KgYZ7zXZִF! YH4]ŗXi%6ב 0/ H] ۷.,ҭ4_A1&}PyO Z_{uò2g#i3 kuۚ 70}nrt Y%/]nK^x\kHR›AZ1'0֤YC?0y|?H-A5kԄ [&3 HwF0ڵ/h H(\YfY.#7b쁥0dt;CKSvy &-:'VG FeRѴh m.lF!u6Oc ,N?6KLb*b9vdv e2' d8?^wyN{̯TS0$֘SE"|J >@'g]N8\=]w >0Np뽯NVʩu/':Bp|dH2Ίlk} Q2wWyD8$6C|}2Z l54\AR7OFf8_ rp1+`jLpmZmN4"4e#Jr OfHYsVᖶT-Jw,gol 4jX/qFGsQf2PÅpK׼Go 0&RE=ԉF]ϋAIcR=})<8I =͔o~z؇3Tx2gYf܎' .6>tκ})/]> s`Px&]m2:6C[Ԕ2JdsT/uU3fBFĨmDSpT9(X{K'0~sY,G,ܑXg>O*Bl|.kx.ЕMQAsq3g|h^uZfyVp?EwT!bWay k qթCZN $qUMe z8U O|5Ә_V>3ҐA{C35 EOS3\!z q/nerWMWC0ʹCbÞiG3^Q%+{ 4Wx%e_M{p'EhilSTK>Sγk tn8AdEdX1kM4Ix/t`ټIy<׌~!ZzO*Y:«nP$#ص=`ҥ :3FT-q