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 {{)  , ]S Error_Function:threads=4elapsed=10.266cpu=37.636gc=1.476factor=3.677zXZִF! ]ŗXf[& nTg6 HJIG!_WV/R]RDGSUTptbȕPRN)=w!C[j)J4,I63,6r㳄pq X]4ⶍ[Ј8@(wӌ(2Yj 2j^E*oXwZ!L2Դ6M'b՛_eg% '9m'њ7M#C.sX(lJ_, O>">#RҿQ8RSdqe3'sEOR&Ϟ~)c.@BC/1q[ZꜶ2TpN7xcOt#\CAM/?pe Ώ΍fҸ(o&SyQ ۸Y&1ĻYp$I,E?%/Ķif"@( 3i捊My- ^^f )*P#ȫ;gopk&Hj_5e r/iK~uL@O<ɊED$D7%߄&,F(̺8آo29Ǖ9,޴y5)rx٬÷u Ը*m+̄Ⱥ;+Z*[gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 v?15tKh*T=v]Gpo'_ =~g;P"QS&A9=ٟ(BMQ KyR3:S%-`z(Éfचӫt='CUufj?)hg#ZWYcce6saKOiԺ痬d!mZeا9AS﭂ul빥hetxdvgYZ7zXZִF! N*]ŗXi%L S#n=ܚjΘS,;W:Bv5}MB)ᴇe 9@~{S2a2}ya'@PVo Y0)ÇNbiֈm\$O7 г tZrm BrP.K9 ,B%Lv? Ysix 5-# 7%#p LR81A "3Mt쌳XOpc,.\i'(t #[6NIMS2xs>tKkoo^~6 ắBբ^ҹ}Z'`\ H;TŎaqoLO96GOC[@G;^)sđߊ?C@L6":E|?Br."+|w0xbWa2,%jdN8(IX :~vP:xa( nw):&ޓ&Zv9"|Ɏ8aօY7&Sj~'֝RwX>%`~$-B8~3/ kα|` ypg4 k=,X^\bG^2la{*XH0֛/YÚʿ#;s'8hJ͔Lj3qAٺwt~ebw 5+RW(~FJ($yr|#kf-b8zt U`+ƖpW[[g K>ʽB|sd58 ӭ<гic™HXބ1`R0bv} rۣ뢏7ƽ22O@niz^~ W` ppVE='!O)ֱ WAgYZ0fbee9cdacca5730d26c0116521b337e4d43b651d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 f725914093267a67736dbf5dbcb2cc2c1321a276 ) Error_Function