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 + <\ w LightweightJava:threads=2elapsed=51.334cpu=78.472gc=2.908factor=1.537zXZִF! G]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o@!՟}awWAF)Ew sT$\GA, 485݊&Gv"w<(7k?1[)sj"_5A0Dt_zd0FN'zܬ?0;2_4-6oР@"\0^[V f-Yߴ*֡i/C/̕By] o bˆPKdiym@8w P&lGawY} + LightweightJavaQrYj*ۗxd|Sy_fS!w F(evX1`Hm$?.YbTж@:m8 Y=we:*+ߜ|yưl%fْJ;j*A◹l9UxaID/6x)yw@Hd-W1NLJθ{kI 38AEVAMHw19x3,1Hv8dK}RU-^M2J"]48йҙ(E ,@2ky &q _F|upn'$-׿a]ݳrrnlVJ=^pJj \ ^6pg9࣫ڇm^,<-#&% StZ' ڇ !9f9V1kZW$:f[p^,ęl:$[4)p(ҏL# VwĜ]:R fW)gYZ7zXZִF! ]ŗXi%6[ӿ2K|=[aT r(b;lpqܼ]y"s%$DپYz#ns> )*{1کU:XY%|##0떃AeQ&p&Ý"7HiH|^(w)!4j"30PTa6iqrtXkC*BDܢB'ȷ#$ĆsP WR4A5 erg*utc"9f2D pa痵CBqP:.ne_ "_,F^h퓡eCkHmULJ|q+AC,w~:p9mi(q?$噑0V兮1$&SpU ܾ_)h:lLU^$S-CR᢮û;W1IN'~^ݰt7FQ 0miY{,f=Z?m}F7]7yu; 3qn횻aF!h/Jݻ8/ˍ4Lc$KS@.C%A@h kFsKJ^Ed|nfIy6|ČjG7~3"t^cIw_~n0+tE-T[`<~϶9zy/zM(ZH>Ѕyh^|/D'zs.#ržAfٕ.Rw2D"eju"B:-UkGud ۲|zb~98c6vR3<єKp2XKσ@ye; !/xƜwnk:8Q&r5xyD}jM2Y?DXqA0@Rh2sW#Sg $K bKHf="'y|kZ%X:P&P2`wΠc"9$D-09GHxz80~I,dئ&4k0In@pb)O5O>oW'U?ʏ^^zؠ| q yPoI᥂>' dX;e?!G Rk"5gy,'ȸs ^_Shk`918Bt>RڰؽjhrZ}=BU%)Q 8~E+dOgK1-?kň'kr+!?1Z'J+tV|*l7tjTuK_XӔ}XG S5g_ZcFjCo:(p>e!/%$;iLWSb|aJ!o%B%+?,[F30!RЙ}{|N.Cؚ:f⩪ZE [LǞtj$@8Jfc tw- =g4\=`{: A^;_9)AױgYZ047dcf3b5168cfac0a5cf40c72fb12153fb59669 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 d58c92dbe2e3370c357865e539a9e2d59efb0816 f4ae0fae7893f7947d754f24e1ee90bd24a07f3ef0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928