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   \+ d4L ]%]Simple_Firewall:threads=4elapsed=24.249cpu=83.536gc=3.756factor=3.447zXZִF! =W]ŗXf[&Q̪"AxO!\>T +sM3٣1&] :&!c }cH Q4NtlQ=?(Y΃/xe_7!(cKL)ֻn2[>-|豎Cl#ZGU$ݪ(T "liYAjEiq_2l`:a.XYSn"TţJ \ _#bKaBS1֊lĀ#YP &u@]h8INbARi{-ɋ+B` /Ste MBRBWA'whWi5-`B"fӊ3"As_,$RjS 9Aj00˰Rjf}-qq-n6O[dSa=4;yӶF'{9ۡ`/ , )05x>I9^SE2C.12*x /_wYBIV[Ҩ[ȏɀ w|c%G|.vh&qyu=[lSXq MXqae&4ܜ_V#d>o"MT:r ̥BQ{r'^cҞ8qBkfRt}?H+hPˏlV=&/sn!i^ӥqN=>:}Ĝf&Y\Lq*LvAdBO+-YvǓ-/#ϥTgD>?6UAI.QP4׆(2?ap0钣{u/iIQ,Y3|=?6ªe pca0%-3g~L޳2'~B|ءC2r#[ڭe,%p"%CZny77^?h<>YY5B#C(Ȁws0VQYgM)'&Ee>y"s7c>i$2,(EwٚkO4C٫LSA1Ɨ#"G c֨-0ict3'R5@R }!օ#yk3T9$&l*Pg@R-󌞤?i!W1 zLagYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2כEcINS_| |N|?M?@J-ͅWb75d=ل1i uu:vSRK:=9@2,*z|t$ /F4CoSi{GDQ-'k躚U !5>ex:%QԜw7`ZcT"rurju2|c֋G}5Fόj~Fb2,aYRk:x k\a_GTsR6K@;ߩŒWhQ*Aۙ“[de1dpdtH)i]q<35LWP +鱈("H<՜}*rB  L->ㅠ\Z83h^2;ySrt+ . ޱgYZ7zXZִF! W ]ŗXi%Ebbs#OWAjĤ-"LJ^#p;ۣCZT[̹ ,r8!us~3h=p%l:m*N7GjoZ瘽mr:o ɺJ'0(LX^ KCG 8_I(Yw3AW16]vŦyHj!*glGiKt_ˁ>ټ~Lhs+z:)|cY)nG OV1$6h0[vs;ַIs'ɓa¡leد048i~QVy$ts"scѩc G~(H𴈫ߜ x0KF|5mjjʂ|Kyd1gSvW/-[Ѳken(i@{Cp3hB xU'wdsFD2|6t=F{Z'z#G?\FF#kx(PD;Xۇ Rբ%W&8`v.ͷXҠ(I!61-}qV*ؒ5ab'؇ݥaz fL!gFW?"L';}wΰujLj_ڡ0ݳ+:B/fF&ڤ5wW\@ipC.u[Ꞩq[; j5F ,)Pc[5[iP8}gI"Y?aNO Ņd`$ɷ5k~{W<ar(O_fmKGnΚ0t7[cEz:W+83t=O*PGdV".NXy5(4J;I}O-FSW+DZ:`&2L//K8g n62X7]bq (z wqWQdi$J2^Wy.d>}Y-4oM߂UckcW ExB6<S3Q.@q_pIf=ExT_{^ ,3݆# `sRxn0z:H]@fg9WQ9&JL| U:GqsOdIz$G~[¶F/Eg6tCxWE[%ȐؼwMf;~J5@y#?7j|Țz.HMVn;:G9g(|nLj7l+4DR(~?Aͥh}o9/( j >\>0nП"hnxjPHR|9 67%r_y1釖M6>l_TxgY7z~۬Ɠ:Ń<_ހP+ADelwӼgL%A:r:T-}|vx$2}̐2RuKSt4,wsZл"2Jw l>9]s! O9.&8^Z;51_HgYZa2494bb42d54088cbfbae31b04c43d4831d3ae03eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 2f732709a157935127ea6979a79cd0ba51778e0e 886f56f998a8e1b7cbacccbfc267148eb95de386 d94cd3f1b5613beb9185614e9098287710a783857953aae1811feaf95941cede441dea955de2543a