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 61 D ]/ Recursion-Theory-I:threads=2elapsed=16.863cpu=29.632gc=1.156factor=1.767zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[W:Vcv-UCs^_y<oɆ5ĭϸQq?Jz $K3@moNoǫ<qӸg8`[|LGw"LrT= ¡' ::RS#.=OF4"k|| ׇQR" ^ە* N#dV#:i&fPc(x.yTS^.DZLT<[T*zCqR}z)h&/}O1h5 c:h,őY $V馌khX/d@ gYZ7zXZִF! b@]ŗXi%6q,kS2t{*;G핒)\4-jտa.?MVt?/k)蓮D Dh܀|hi򻈊 aF.l#MKzR;=|e\UNݾbЉY+߯yTbpۮ |FPFD%KP5ڤdu1F͍48 EpoQ>CY싪5K|/>yS;]7rTEuR f%21{mQ&.مi욿)ZPP{,٘ﰂr#uɁ߽Շ`QmLdǯ[(~2:V,pR8;ǐH<^Z ;,W 5hoqJ,s6<(Yw(VUJGCcVwnS0l ,W `]Z8()p042!W& "8`55!nDI\l3N/"'AGCÔzVZk**rbZsph(t y *XS _?PkP\[*)?a]cҼ"G,mw>z)Hm,ㅣ(vArB?e|+^iفiP}ô!zi̜~Y6}sTjGyߢ \Rr^׵zYg) 6SmbVkqF1_#n:e޳YR:!sЎDrqN(}ư#qAf:&<"pH4 #%,JtbK!훳rv0eua{sy !^2A@^_GTPNjR4I[DFAy(x|9?j#X6eb֥PqIFEZCQz"BbԵd,3=cn@