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 uu) l< ] HOL-TLA-Memory:threads=4elapsed=9.367cpu=26.844gc=0.608factor=2.877zXZִF! .]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEטG "־"hGMdIjn75%ibRhM]:[n#jA+R6X? ,5=ApFP!VEG!*TK?Z^jfC|VS Tt% 8P[:cZ˥*;:ܥV$mc#^$F:SQQ0TkB1ӑ'5>溻H-§ڪj܄_hdK:yҴIdU*C=h<z31HqyW뉉1_#x>hAIC]kvL[~xfib$P(/=L33~m $ȯҋCe(/YQ/)LT2!jȽrd <mlb@Ed(pǙZ ["+o6+`gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWy+y4ZԱG5syRVvXgҎY3@)8 _\^NHūՂ QXG󛯨G'K9lR E e62kTؼ4"C~7+D΢UzYiI7$*[{0i,8"0gYZ7zXZִF! -]ŗXi%@b^~Z7KZ)Џ:=? mbb1F2/YaK3byA07OtGdz?c엕Hz߇=O,C]BwJ) s?u6_ω*]{=nDB4S=hSǽ=lpo@!ShUZ5xGF&P1\3JfWl}7*JQVw1]pG Q}|g}/eHEBCK6;0Z( {),#*N}FLh#a}t%йW| gkb6tq\b6%z*&u 28@}']nB؈ 8)[`KKXTm8v|)m)~r ,$KvP%0.`X<H|1'Nhmٺ ^#h,Y!#LgM~Tϭxi<L N'X}Û/gwx|UC*0y9"k"ByUO4 8\g:2\A4!pF Mkpkgy!\0,MYx_yKd1+;~9u㻽b?)W#U]–8!F+NX0=>huTM*=y,<1ˆ|!ȠdUHpxUmyCx9j.C&2O[oلy_2%b:4\Hl%5$?xD)J`+TuMZ`R0L˓n!O5x,>Bmur,jvU+}M7g멯H:ۉI3]%