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 00M) L|t ] Error_Function:threads=2elapsed=17.480cpu=31.872gc=1.432factor=1.827zXZִF! ^]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi Б ^m߇]~J3L9Ղ?gdŸ匃yZwgkݜ^ Z®@k!^P}yXi7IWk;ǂ `EҒ~A'?d?6P92W'[(v<:$K dSL?! %8w$5bO ?yx<-.#9ѥpA9Xv. YԖ14;c8JTr#ҶΰB :6X .JS>Icem&W{y \gT6ŲI>mt!g̕ 𮂖>i*BXwk^׭h2|8#D& Quܛ)Jb{+̞5n|3|Y߫*!ZტJd$ÕcJYn݇ϸ }^ "otN*w'pkҼ&.a^5AZ>;K2XUjQ!rgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 }W_Zlw? ]5{KnkxŒّǘQόO/OuzkȔEA)~0^##;?RB{}3E&B1hqaِ$7ʪWf`Q"yS" F/WFD%̚ #NPۖ{mH$f 0\/gYZ7zXZִF! `]ŗXi%>g?wbFڂrF:V.;A@ CP35U[.6+'9i T.`y~ Ϲ.N5c2.YR*h_۽q#hiܕ(3V$ 6y#&aGf)Z8WI=C^j8t, 7cF| { }yzEX<骼j,Q@=È7q(fͱU E6t{ DK@Z37Z41a轃U-1O ٍ=L l)ʳMwkWrAG5ϨB´`*.1#`y8-zyknc\;Y->aq䣷j&m:m1qF u*c좼űrf3RǨfa퉰MQ8̧r8I szڌ#v> eJeaϗS cikSa[N(~tzRRepw1zuwGH̠c* =pH>ن :I;&~`p6kTx_aEwLʖ4#JJ 0*%٭R2}$MJڄ_)s~"H$an8ږ)bk[$pɄ2Ss7Osƶ(_j| 9%)+n=s`FLrE@d,W C:z}n<PwQWS#>=G"?t58Z+jf#L-,2OQ|0/hgBW=lj(BF׾/~atU#= 1P(Md'n%{AbHHET6ۖ.uXW=9@Fm3r|GiB@i%ųpAZ=x8rR.ɲ|Ex[1ԉD[2Vf-Pq%JACevY`?; <*J{q+W:q܁`3=|o8/ c_FSٝDJt@fؿ\]M"Jy,EKkU4V0`J9 (ɬ+{$"Dr1 =P ,*#X:OmPDFhw.(ӴA= sGw7x6'u ;$g9iЌaoxl_k\c/QF<=Lwwtig ՗/E z3YI{}zDFXXb bԦugYZ74e8d133433069d2671e9075e6c553ee70fcb8180779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 ) Error_Function