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 = dL ] IOA:threads=6elapsed=6.732cpu=30.464gc=1.244factor=4.537zXZִF! ^]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KqY(Kk,߽hRm*VA>i <4]:첒: ;l)Â~Ju(,6=>*FEmBY Ayꎡ?skL&ढr%ČdzPf cVYtca~jP׾8K2;6QA^^A5#W~񕷉#F/k$\nLqӢdHt$*k5W (}4nD 6ɿ-}l *7AYp.T eho&6-4nj1fK#7ICH䞃.rn\s.M#jb}"ugƓ5i0V8nzJْNB>Ցw,tN*Q)_xoBY8 h彲q,zܜPѱs=gYZ7zXZִF! `z]ŗXiɟdN'LvH۹Vf+y^Mdyfe[Y tCZ;J_4t{8qf귮MDfЎֵr'SZS)q_DOBԂ1M}T; d{AHudW3kԌO [ @&ىz{ti)U"z!?`qq'G;pG#2WT#+:&o P-kӝnϪOHxwt4\8GʐXgU8^5ЃOӝ fe93{ EDߛ4 ,gYZ7zXZִF! &]ŗXi%Bɣn^7=1s?[fĵ(K^հIp;8nw6nmH2 6H8XmFv֚a(YMx1^S?\# $\L+0cC]l}8( -7I4cL*ɼwж^M־#y+Xg9*7&wV I҆i AO@yzfpd,wˁF?A)ԗc3#rɜB&ӿ%n]<LBidBN0.m"= }FB5*z.>5w){ Tica.c2]>m4`#!o$(gPGeyE PV"S}ܿS[Ӑ 9e;{';(_nb"Vz8pmL_YJ/qcQTX_\uvi5{ oSݰ}[ X*!sUĚ?cbFY5 QysӒc.nYtpQf-q-ڪ[JWWѴ֠[/=UI`0Q :r< &E'KLpQ:zj09lOX:~QJf石i&7N0z꼭<䧌&&ų7>Hkc;=Azjrƿ YEX0INhd$4` !VǍ.웇D1gIfq% -:(&zS\|Q$lVs{+ F(,+wyaI n5C91ﯫ3̃hG2}=@}hԶڗZ^`^"Z@ejʀh,OΙg0E ϳ^I<2Ռ4ۿs(+&B>CثG&) ڷF'O^/D`('zK@DG U#~Mdo%gYZ6f5c9550f36f549c95d8fb2a7a732096232a6cd7a8cc758d6ab7fd0d9728cbbe893e534f8f965816 1af3aedcad71efe17b78663b69931936110aab93 0c432a1447fb752f62d834c1f19013b49ff729e6  IOA