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 c |l ] pGCL:threads=4elapsed=20.090cpu=77.884gc=1.836factor=3.887zXZִF! !8]ŗXf[&.Ir?.kLAsn({?ײ88G@ڭ~:0s@1a'@6T)c2λ'FX{^Ѡq/yi7&\/KS;!UU2F0dQ^;$~fbdxƕmqҹT% MGuL$jLi3YD[}'I"]3뭾bPCv[:g^{,ŲvYv=uh?b2ϑIt>0, (sVW ~Y%KyQܵs]^sJ k& |eVs.D7&tC) <&%J  pGCL  v 3qgAGu zAFjeHikRo5RI +i~ I@S{a tkho^E7 avڂH4ɽ_yjpΆ ֓7j؅]P7 ώGxK_D1i~]a~\8%> Xp>Ѵa4M#2|br Fn: QJnKPdoTaҒ::01Y,vNY (@B+fPU6$޷:]Ff L|`y cD2 fPɫ:'åjw\7AO{]봍TGnL}t v92צeڧattyru|01c@XP%ɔKh!T^}s)qj̭=6nqo@[o}G~w1wl|uBI07kwJSکWm`gmkډߥR"KV$:߱FYR:?n'G}#,  A)_|[j8nrexo_/ YgYZ7zXZִF! D p]ŗXi%L 0 6ZB8/'6 'w;n~65ŋK‡!TqC[aׁk$LZR7 JEJPYf3Sԥ|Dh>'e*Y:1ң(LtϭAA/j8XEsJ>^iѴ^2.ݰxCyTk[Z"=g#{aFA׾^uZ^hO,L0,20dѸ]RP%6AQP.z&v0oB `$KKWpPỖ6u*YswMCȠcAS ٔn'PLd22AtS-acސZ+,8q,l+gNm=']h)X$*.={AjG (m"fDfb8j"# Cq#Ι ]\)jXy8MGV4}XF&ڳ{FDx#_u׽KJ tNG%F,.O-Ւ2lۧHS@Vus$.V`O,n;=#Y /t#'Ϯǂ/灔iĈ-d>I]4:tZm)]>[ݸ!I]iHsR_ xE %pؐ_!&PvB7Wm\QGّ8.wiJDrHx<;bnӑۃmn2a[Z.-EGM'4Zd& i4q&ݗ^K$IԒxf8BO`7џYoz'L9K<=Ǝ~1 .N|Ua6|Ѩ $'#M&Bэ|cu!=2&Ґn~|jZQ|\l1dЭux$0L@ .whh3tm<$5/HA-s=b^p,w&zam(P)G+ %8ƎRNܽn+t;zT[aD;u &<8!@!i&L"8nk4 D/6Wq/s*FUO1phT~'ػO.sī:57<I] E| }hݘSϞtd%%OFtlBuj~*B5Cj):1+<ƤwVϑ&mXXYgI1"Ή9M%'Ť ,.rfMΑ^H`U`J Djfͧ[Osd""Jq]E/{w+p=;ՇAE(TC@oQH`ZL+NɃ C帐% y]v6if.W޽[UgWVc:ǼQkmmy;TmTȰT[aG w&cڱf$-BcLmAG֤0^a@+`.ӝ! Ɏ>ݮN7g =U"1xgyUy2uEmJ*HP6*Z[>•jZ /IMJwFuUr m|Y{\zs $>sD7h2!{㎓b]1,nSܸ/v;N.%[c8-\79ĽiP}Gkq+C"qTNa;M״ |W 97Uc& 8@-"&rxO69@ !+{ŴVǕ