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 f D\< ]]]ZF:threads=2elapsed=23.309cpu=37.124gc=2.232factor=1.597zXZִF! ]ŗXf1-) enȈA XR„2>v,'w_F e#ȒK#(oTsUn ]>,_?oUp'!Xp[sfMZPTL-z .f"Zl]bx 63?O0z빂ReejB7~{0TNFy"_ sʐ)jE6ʤV*w3(9$3_gCSE&1RNE)=ϹJUZsY* mh4v.ɴ}W`z%V5`Z0n G&Z?N3H9(k(o q'ܦ!*>!ĜXhJC)O]@]ld,Cp@)dλ2ñgYZ7zXZִF! &]ŗXiɟ 1FE`空zp@T:z?UYtϑZ[#G2%؎La맼Yʄ s!qw4ЛL 0/R \ܴppGȀsbP]8{=(z6#pr蔗H4D5fX-q=n&z!>nmLnmQjq>"߿@@dlZz5J_u&O0#5/HD6Z* LTB-Z=OƕՐɌY̒=GKmèA,lKCaWu1q)]-޳]Df{~kW{s=S!X)'^Rt_R+)@Ym> c_Ѵ {;QZ۲Fb:2%W$/&ygv\YOGpeTD-b3e5}lo̯a1%+ =53"JIEG߹2& Wkkv2sGl_g˻ABsvl/-OLOj=Yg&~my*.,tc&j~`:[ /1I{o[;)E>!s\ a£9oF2#ŸIg*nBQ`҈ZrEgپ=9ǩnL(UnP*l'ߓ->Bd; Eɳ[^3E|Z؇V^bjŧQh ;Pagwwcy'=W.ɟyYE79ivo\ Dr/ш-\` CZY= ^fKaA0Zzu $8j5hsǾ%\@vWO dр刺"%[wHC<O5%RJLpsY44:@&.Qb눉mNר7K!F4qⱌƛ, ijOȩ/%Oˎr JsknhVHAEɟI cp7]pUj?}]ަn#R'W@ȭ!2fnj%.` U-%?BgL"V #P?YʎGDP4T(QJȴ$揌\^paN 1mP3B'`bC?WavEZዥ YY|qJEk=JyBn]gMUy溑tmqS.+% {oeUO'cNc2Zb |kߑo.^] ʑwmJ-Q*sebf~)  D!5RG1ʇt}9AnuGq$46.liKD): 8O3Yüp`(Gm]?ڃ;yc-Nu $st.RKk7v1`v`iUƭ-Qj=U,/o+씰uiU7T \jRPBo_P?H=&4ᧆGQR5AMe!"vԠ YsDDgYZ1d9bc0ba1460957c1fb9b13a0d1e5143b5ffc02c9b4902f8e8c2cff8739e12b432b794bca1b63c5f55371a0e5df289405658a65102c76afaf936010e  ZF