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 rr + L|L ]S]Quick_Sort_Cost:threads=2elapsed=21.092cpu=40.396gc=2.224factor=1.927zXZִF! n]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;^~4M-6M|ΒdrzMT"z<(C H6I6Dӌ\N="wTsmC==h$^S۱ P̜ r/ :8ũK@|T~ Y-08$ 3r=YE>pl-Ɓ%IKUJ HȰ +4yPm vr x '8!Fw, Mt`3L99aQ^&`Xle,.T-9<#ºVl.hT15 'J `v: M74nZK&y>L#s4&`L?Db2輐| b0q[t)eN23zhNeʞRC0[gcU=6MճCd Vx@ I*n S>g| k\5(ߡKGugN[2 43@ъ?J59  M<>~7JFoF@`ucFäl^/NҏQ_1G~}#@&?Z͖`סݟ!()QyF<qT3 u+_&Yr!+pBE|`=2.O׀gYZ7zXZִF! Ww]ŗXiɟ1˦r!q=4!pƹ $7#ڊUz4}{A`%PO"`Lzs]{uF&6i`sxeO& LJȽ?os""25{Qmޒ4W sye+fDO~DW%aѺ\dI&xMvf$;scHm*%HF:"#YN: n#\ti\l1# 5ž0֞A/zOE?@ʉl@/&H5jX*yQYBVىx 1}v WfJ,X(0y.HF[Qrm ZsyŰ;qݱ.Ri "(?2g/gk*TJTR  ɟI\oG4ز4(tMqXd*RcH*UAq#3B5q9(>/(P5$CAuQ !oƑivQ!$F %HfD_H>*"vhb}6(hۚl+/2u1:uA?0 )PO˕~< >@9ÏpKԏ;Z ?PCD}&bcrq!h\lTӐm- d)vkVN8gw~Ө£!\1*ڨ ]%BrXP˖1C?3^:kF [wʄI76'X Qa%UFӗ-uMMvHW٣^D^Ui'1κ|5K(PXGD/ޥ7L"5xlF]j.Hd:\pfɓ 7(uh>f"n*-`6pY6GA,bLH"w'I5$H0 DreE(4׀ƾ2`?.o1$sʟvB;xVz{(cKT|(FwHٙA, IdF#mH"Vi:ym,Uh|@+mHےqضUt e˧hlV|b1ukO:9n-Z-cb$y0h\&?mcPLx+;g