SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  |D ]]]ZF:threads=6elapsed=12.048cpu=44.396gc=2.568factor=3.687zXZִF! ;]ŗXf1-)9\l ݺn= bŚ&3(/.G_T_\l8/8_гbVPr?6Ո{w4 Ȕ:|5bY5<ؒcP(y{<Ք(-Fi3mnX[Ɏ ۀ?GW0:,JQ/r|>x\K6Pގhݰ.aS# 2zdZچc[v23ҡ8:@j˙ݨ{<2 }J4&BoB;%e x,iԯqeRBu𹑯[Fg{ߠ%-c Aq!P՝ $wNLp(ʌ_&.q:׳bYOeiAjWüQ/?R~XBYM %8py`Cˎ~W :|E}Vq4=v+!+Zcw*!\ N& !2#\@BcQԉC-DB.Y~+`sLl'8m=) )a4egYZ7zXZִF! 8]ŗXiɟ 1FE`穹mN2kȔ9q W ⨇3=.D8^9Tg"[{` doJq(F] 3Y& t*oD^8GmmCd$ut(/Z+/d4%3ظa1@PMg9pիSN =Qj6^%TYKu2}cNfH>FK6.f#a28u̔pfqg[<`j*PKFEw F{gmwލFh]}/$(fꓛn@jc-0Y0?+; { ҬxC>jhi%Vxm!f'eZ,+l9E/WC45C4WZ.z|׬q!.k~޾_  *Q>.fx: mi8T8mQN.п j2]Kc yHZ>ejFw]6v`j!"m}2UKv.DRWb~S˜-߱gYZ7zXZִF! C6]ŗXi%B$)mQ~mLz5;,TXLU_Ar/t[ꈽ[Tu3gb4< , f䝞^lXH߂Uf띰(ˊm659^['"'kh9Z5"TD۩8`pQ5!fp]ik VH΅&ntr]H% eK,i %Px RFXvP߁ep,(KJzN8]GV>hZ.[P^`*նbW=rP,~]-:U/p";a5"DsVomψn #mCC(v!\z央\UpuK׹-W0E vK߈oikVhˆBdl8v`QI3+6 𬮀$&ǀT-ޕg][PԣE 2HYWpDzslSDzR: Nzzv|Y@z 0gYZce173104858f511a691e66213390e0b132fff3383e4e9593d539b8de84137329a766b1811bb0545dd4cf2a10c97d68a37d1dae22838b732246dcb6e7  ZF