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 nn ,TL ] HyperCTL:threads=2elapsed=16.673cpu=27.296gc=1.300factor=1.647zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]wѰ9M.ގ OXŬ:߆QJU{=94njav3z]V$ ]hs$6-}k-d} 8~0t{cQnx_&p7B"omRSoi"eUW,\RG0L&wF쮀!h\*# X݇ikXv}>hV1Skm0nL1dBX;pB@d2휽6U , [x+ݪRgF'qX/4q[8-]~aC}I6\2S3Z>7^nb̲! jMg8$gYZ7zXZִF! ]ŗXiɟF@Am|{'h1DWP;"`1zgNZL:(8pASnDp5w:t,jЋn(NFW=g=4 c=D|>l,&$,d\zEPR1dgYZ7zXZִF! ]^]ŗXi%;iܬ:ծwA n4xqt+n('v]?@!;C6G>NaY+pF=p'Y39D}DҜ\vVgd=+ʫf+BIr?v!wK>w3*$뻹, CyEI>T"Xq2-j?k_ZZR=t'ߔGgg~i33c^"hlTYmKɈhv)"KOY$FAP<>5ݕue =ChSw^S.'g>7a9^ {Q(toJ9h>{b1-7% <+i.{nf ύ2?qiSACX:":)ycR%5Ym{:^֧%,r677@ ᗈ{;bnzIQgZbVȎxw!?-c7eK ɯ 7 }C8ɜA$Lj$:Paq#"w:FSG M)ϘNc$T*GRC{=)=4xmzÜz 巳r,t ,ZDȫXiE~'G.+6;+6i8NuOW'"HSR/Yȷŕ+{c^Wij6@]M1745"}muit ($ZMu9XdM\?Soz8( 5jmoiO6+~@B@2|Tam'7'ˬa;K c4(,I%zB sL਎fjImQ̅'8@z/s:}HxN0e)4Gzok?z[<#N9Qkʬ/ v\@4aY9_Mpw敄*M/ mIb~po vO؏iyLR(11%sqRB'Y|C枎 T~)R^RvHܞ ,9oU1N0 viq 2TgYZc1f83e1f580c84b08c7acc6f18127f2ef94322af273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221   HyperCTL