SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 . $Tt ]]]ZF:threads=2elapsed=22.742cpu=38.416gc=2.236factor=1.697zXZִF!  ]ŗXf1-) enȈA XR„նFi )oOP]IP^G;cQ w.x<zT߇3:ieq븠GhNK- CNJ: НcZȱgYZ7zXZִF! #]ŗXiɟ 1FE`穵 s9$lsv/-h<+TiGbk=>1^y> uR  ^>LGDIfDkR2YfhSD-⁷ni-7+u@ǥb*R$,89 }c:A"ǾT0ǟvy3Ԑ<<,1&3C聅=Cl "Sȑ3k; /tKz\4CNu ў6fmlMKQ/SH׬lVNy ל5,_xEVOJ%q(R!p] 9S^oЈGb* 9XWEELWT)P"d_5КPnQOXr=郓""N44s2PWktfI"v Oob@M#Me0/)˚kӻ.sLh76*ZE[ggYZ7zXZִF! q]ŗXi%>g#|ÛUL| P\A! #*aWCyBw+v!;(Cq#(6H&/d N@ JfphﴺiAiNnҷŷKi-~&,!TV[eU^DžP(Ibaz8MjY9:Ǹ*t?k..`U6>g~I $ b| B" |(Oxo U,x+XWv+c`#%B ZfhΙU6+ɐe~he!oW[1)0&t}@T{i@Ime[;%|$@Z(VGqQys#gS⟦yWCԠ䑒*-ۅ.{\%d?-ute|19U˻54aN@y}&hr49r@{,x8?ϖ6g|> /+(LQS 5XZcnɰo| -!{;~3'2lE)Pb%>uKt@ZRnu]I2Aepxi3yNnDR8|nOHCGG{@I=ΣIIg" UأOWn6%@<~7VTsJNsV?[T<1~k/_.\gD-rNe-!=ChYy;!rQпH/ t(b kfnzQ3i-y'\[zRbfצ+"E OlRr#,V6JpN8XW>Bidqg]lj1hNm{yυhLj ;j=,,[1zCe9PQ=y|(('$)u8jO{}ʗ٥աݲ+Nm3S\Sp~7&oP  O{Q܊HaN}1~jFxKIC֋1ӯP.L#'k Ir`vtpyOgzП :(+4J; :s+Yh8nh[p%)HYJt7wI~Z H\$ÃNKD#NWXVO+ $(T%(M3 [@B/lIʼ^ԢLB넘qQ碑/y#;Vs>Aj:@(bNi?H5-ib^0?ApIfX N="+tmd1z9b6V-}ΚR^LQv !:= VrEtν!#`qo|nNj/3-JRG5| 76M?<˯Cj7 "L>Y#]N,野seYAαgYZ8d956b8b0586ec5997f398891ba8548194e5fa5fa9ba4fcb27c61f2722def1490d5cc6ffd820a5236bf1fa0e358421082bbb58a0bef5033de7f2d0cc  ZF