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 cc D m HyperCTL:threads=2elapsed=14.600cpu=28.376gc=1.428factor=1.947zXZִF! V]ŗXf1-/6vRZX]7b,n3צ{hB{%̅%`2ZJI-_K 7 0VGU߉mY+'V  Bce>ON[v 3.H0:$ N$HL`T{{g¡ :#7x _xXlt55JH oj3xiT2 66T`ZK~W"< ޟHſG2d2V%OLDsCU( ә\TTjč"`_u62vY˪0((rQd k S:xT$y&RzM<>lDE?f |y +j#]rP{8|ʅq!b[N\\!ߡ>|uݴ[a-5݆aPțQQbzU$-bz[Y9o&x=|sSQLԙmusMo&BBĄ;u^; :!;@wq_Jw!Ba-l;Is gS.В@}(9o@-fQ$rx?D1\0y!lH5=h]Dq^۞DB1ssee Hw {)%.@/0VEn64q{`,IRW)~/,)?vq5S87C_ GC\wR)gd}ηq^[+pxWiZfA`Z`CxRz,=0t632 .ɵo?D6Ӏ~ iUb0=A::?a`@ Tud#Xq&[Dmg:#`*)9(d1#aʓ}>d|Gwx0qIY~b.5[rH0SH{ZwtŢ<hKGQ z1RӘR5!pF0%Ry~H`uiJw$&_z)h$(!'*Y-Co<͑!|LVw |ȊTnʝy 5 Jt!@vISfyo9^ӪoDӘI0j)l"#N^<ܣ`U1)yHtӕN-KN?.]9o 8z+ >Ef ߣX6s5çMj($КEXY=Ε}pyos##(lg@'EΝDyk8Uk/"PUqWRI?||Mgc.? hW}:gFTx \KNN0VR/΍D s= z](&FfĂȞ$<~DkS~q8/䐤EV Jj]t0D~ppu}&rhF OҺ@Hȸ8K g\}:WFgΪ[jST"&gYZ7zXZִF! M]ŗXi%s#( 3*cQ+8(wXs=:,ق"5#9zs V b0P9p)d QudfG )ɟB`;2Ng48Y]Nu͚^H>?6_ڮ Vv4婻MbZX]|fp]F [J6_4xX2A6*H;jrT}Xwv#(!5YWz@D)C}#A 9 7͵i$"+AjȗW|?w nlJ0!/<0hfY Ţb-U~A^q*aej',A unf3_h+EAfCz jՓ xlĵ#UW]6;˽U!#jpY#MJ&גyHKsU 8Xb|HQCZ%i'xⵑ}7~{"zT x\N^caZ86W6 שc!4&mUlRa)TԠ0Q=Nt01f\P`c퐁 "{Mɻ.>pY