SQLite format 3@ .;  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 !rLTl ] ZF-UNITY:threads=6elapsed=6.009cpu=32.108gc=1.2687zXZִF! ]ŗXiɟ  Q KUuu[8&uK۟6_`mRc?J-L*w.ZgWKfj jĂ[xZJ_&˿.Lv+t:#/*kM8/B%" :ʸ_X~44iobU5Tgn X {oퟺAW"uIHܞ)Hq~Jx9cҔ~s%Pm]V>h2/<=]wր@,f(o?!u)ڰ%\`v f7UG68 |ydJehLma=P݄3(ɗU-q}Z9'9_D;Cy:(AceB)` jgDVQ:M.`1֯}3N ]UN=ӭ`&4ۜ0R9)3_>QͯmW=Vq$\:@_Rpg`sRoǔ݁ə{j I0Jw(<(v5.ٖ+9w,uߎLRG=Wr₀2g>xt/ 4Ȓ|{+҈Eg``§} 7ퟙ A' q%gYZ7zXZִF! hd]ŗXiɟ9 i:4V;}A<<ګMP7kt2& WG^Dwr"Y"~ޅ.|'2z+W$[Wل⩙7Cmu[ӲZ-07rrg(R r^SO a}hUl*/& UJ~ Yu!}QQK/XF3eqdĽH*w6XUƚ'|g?xgl) >hNICW=EL׼ڎΰEZ?D迓 1zD[C7o䑹5m +>s|5G*vP۶~Fvޙ .bZ@L3o]U_Q$ӢVp Hn["T^GYw V n)"g>9Go@L =n\~ -i;ȿ!m 4g-CSZQײ:帶|wT 0Ip fTgdr,Y7 ݜ!_V2A/N,VfNMdLaC%{ґ:}i>`R᪏m0-(ʜvY5"$ bքpe.ڧg_0Edk+Y ⵜL JasbO@S$0P*oC ? gs xS }_~m( E!Rb$rJ8Vze~ݑ DDSZ3-T·"ArlQc1{)Hv0)b HSgYZ9d46d08a64dbad861e536bfada15267b576bd2031765a06ed7bfb95809fcd480531b6aea79d668ee 85a3f53f3c1339f2bc7fd3c36ff3fccdf7b3b42e f7dcfa60ec7821ccb359c3cf506bf91dcd0a0145   ZF-UNITY