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 VV' , w/ FinFun:threads=2elapsed=6.144cpu=11.372gc=0.512factor=1.857zXZִF! ?|]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6x{4 ?4S!ͯe-Z22_V Ni3R2kĢp<rm_|wfr A:8mt!UDVKCN |P@|4’f<]m|E+eǭ4 m6 E'G`o#_M̄e< }0`w.JEqu7Ia+~,mhaS1ZT\wmo!CSkV+ ;;_lQ8'RYv>&>Xk Wd|Gw4XM;2?]` ]z2BCsv}?-KG{W!xD2U?!miLaa-Sv(LŠOݝ~PZC T:ĊͲɁdS>?:4|'P[GNJ[cc$^[yIP+Rvi$:'-pAMI"wMnzgk iHNVGv!l{ JFMrڠlĞs@olu۰8qxu9PClꇻ.q^ mKSK(*6z8-MvfM  DpTvbmwn5<ӱI82l('R5Z'y5r`2b(-FvCo$]vd ?M,Yq F(L(~Ke|~ZMm XTuws{%Oa>! nxhaSH(( `HgYZ7zXZִF! *]ŗXi% vX2m; ٺVD;_'w[lzt6ɬ\B?mk')-@v[03P,\#Fi^P`kxvp)& o` !:CXMd)6ڑf٦F]5)9Ɂ?TKxo9N.n8d,[dIY[?LRpy_L@u'ѯ>-?XKGU=4w#@ňWOR~D 񿌇~e7fJHTgkg{l5?K[ze3{C fk ?u_,3S;߯`0isaausb+9h Smiڢ|-ZL|ĠR/5aOB0Ǭ^^dgD$DʻԜ&ŻkB J,,iiڍHg7t|Ba`'9X'=2=kɼyAf%q+j,T_|(S!f ߬ύp(!B"80|%'#X[je]S}`]aSņԪ剰2kwQu&ym;R,]8$ܵ7wLuPA_QɚA d+&-"rnQ ba֛҉#? aw{ZIT5/ٱgYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd119711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4   FinFun