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 {) 4$ ]% Jordan_Hoelder:threads=2elapsed=17.580cpu=30.760gc=1.168factor=1.757zXZִF! G]ŗXf1-/6vRZ݂KjB`_cNNMY{ #lvS$iv F_3D=㬙'f{Wc+# P:nR3ȯ o_W(6 4CDQ< 0Inj̏p&*i rRW@=a#j$x .0Ù]N5HsW;k|t#ʿG/äS˄7C:.UdvC}N"cxL+5&}z0/94df劽4HC}`׭ZT\? VW"jѪ ?ŪPYti7)l̓EU)5j0lB-nG^3wxPX a*)W⌕,),%A`ܫ"SFJovV3~-.B$@"yM}D5{عriѩ>z6Zzi_౲2(a,BhP},ikr~l$`gYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz~~sm)#[֪M~܌5ǣi0sS3K@'g MC[=ޒVYϥ5fĺGǰ fҮ# [~#=>N\!2v3 h`묠͔ ]g7gT[ |5pݼ +r<0_ OoKN}6Ɣlٶl8n@8ֹgYZ7zXZִF! b]ŗXi%92M!ߦ899: px-ݖyPr>ŏӈwFt`L-CrgC;@ص.dfl-hZ(Z7uxdVM7hй~vFp'->9(/aIrk&͆L^ITz <?6d G=Y*DsD%^, ~ȟcUAazw=1@ Q6thҍm9,jH @cs&Ҿx]@Gm=eQWC.hQcYPBg.)gF>dD8ΰ8֡RXN7V"2]iK$ړlZ`tm \vĉ ,MGΕԐIv1-.,F>14M{릟WyXQCbs%{yVHEh1[ / [ L~.o@nͱ8JY|DZe16C5?B2/i t)T}fY:YW3iq.ưQ^nrF@ix}[YnD: 0}&[``mGB%\}k lHyID3թFn<]y 辰ZLPQ ȮAǽ6(}ŽlZmzm {\ ?t9L9}j*n(mN4D SЖ}Bdfq'.sk,Wv|ngVMV-6\i1#9Kﭐ/GM:!tW][iSJ BmD8V(ھH̀:TR *o|.ck&5(0Lϡc-mDz" XYT"46!jrօo % AOC-t-)icjuv,R:2UOY΢0e#b_n$ftW ̘:He]#&dQOk&+ ?B1MO1JĢC\2 =ۺl# ?~X9ol<-*ZHoJoEY+&]kX$WI+ddz6#W`I S@IdKѹqXmwpx+mjU,kz{+׉wvAݢps㤳:A l>BlxY% 8YD&^\9b>]x SZT RX\$;pye >#׽1(|]o