SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 B l, ] ZF-UNITY:threads=6elapsed=6.053cpu=31.916gc=1.524factor=5.277zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb:m*-\Bù9&TMTSZ`iVƠZC=럚;$_UaM5m =ʘVjʦ;Ps"V'(4rFG74HZwIHO1g~eUqaGz͌E#Mlێѹ P`-y a./XJGc)@y{SKynnʆu%! L~F)%O4W ߂ +RqMƸ)&6,C!My^.[C*C8r>T0R$~<9ͮ|wctEO>iר&xՊN01CZ43,0DfP(0two6>J*Y#f;~2|V e,y7FL&hL+u RE>;^jR3EYafY4 -4z2 z3v.O#qM[|{nE.^~{A4!%~|r=SRi~ Ri5mެ]%MЬץ:CK/7N͡ pDQüp >gYZ7zXZִF! }P]ŗXi%>gs'MEt<}I·A[X扑ý08KBn% +]ȣ5csnq#q[yl'T^LpF+,ܐӭ!$BhJ8ç>_pPsp,Xi\BhZSH?[7QQ ⯻ bSweZ\ʙc{3jbxzJjvSe_E?1a和<g`tF " MY n_#q2L_, {?poSVD<+*ֳm_nd.+Fk^_̀JݎNu7ICQʧl#D'EU\A/{XPY}H1O/d J$,ev7uG.[ %W_&2,BsR4qťKu.jFOh+5\WM3?1pi+6}qg\wTdsFq`ôW(*IE : F\ubR*(C7ݟ>2 ][Ǩ??m-İHMz[EG阍&]y !R{tr%F4\M= PjH?~?PRpҽWcH&A^dbRLfp' 7JzOB~JФCm/YkicRW@_9=BdtI^6M{>SegYZ34afce95a9b03cb9220159466bca9be348ad94e625555504e46b569cf22a309b1f721af8629de804 a0da2a9298c33e0ff212788083f0996bcab79f50 752a1ad1aeea30ea6f01ed4e94153b22cca26f73   ZF-UNITY