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 HH57<,l ]/ Gauss-Jordan-Elim-Fun:threads=4elapsed=2.337cpu=6.428gc=0.080factor=2.757zXZִF! m- ]ŗXiɟH)0%o7@pj!/jܛa:ZuPwڀlg5ao)zY]02'V񡎒y͋ւ p6:#m jq*7+ ;t8HՖc)hql;n_ ~֕p`$e#͏0\t׊m'$ a4)]^[NCKp}Գу~Y^?}YҴ-A ck$D#2Ki3I$K:Y7aLokyg$jÎD#GO- ?|\.\D)s"I~ 6-NHTzP(9 :'-3Q竞WA/XƱ6 vj"=516ÏA& ibiܑ}FP,#6wY o(|Qto"vN@DžWTC KA3NlSu++W!7t'E점ӛZS7. ~BpF[H2N0t^2P>+8ߋGև/ǣ.&'0Os 'bA\aJHm20O;e] VwEdxm矻y8I-\rm$7o7Vi- `֘HI flNfPUJVrUt{-@W4o:؞>K )g2z!pl Hpu(I]*%3X+rK{݆o/$YxOo~wd&xg jd er&SV3A 縻 kl\ : q55|f3d@6R4}E 4` )l s#2\|32)6R3P7k=o ݅D+U@(&hM[;G 1GzI @p4C®o&Irޞ)>h~/r ~`| TDCqǝ+ #'[E+ieϙKmm|[cd@BQQך̞²*nʽT²Ք"CKr A=mu?h8"qJҔtgd>e]K~K#d SA͐YRm8r**RY_lF/y !^YK$*rreDT +x 1Y*\| :&Asބ*^1T SmN6 ysw]"əd:!yZU^Zhc,}ڙ.>Go{'{T5 ɐpx_쟛&G\Xzr}RqamFH;͹QlN9t̒u7Ɏu_a\#Ķ鎲Yb_bv,hj֖G%iJJyhJg}.d~ILhCط*UT{&t*D>Iuk=&q_Rli?QY>1%1^dʋ 6_ZcUX z/J#B~ 4{ B~?Ro} nM@5Fr4KcWMK5½I KirUЌ[mu \kᴗ+D]( Nq*xo{WX̴V~ CFJ6O:NInIʞ $2ʴp~fg)y"􃕔?`d`InL$(z**|!QQL)!z:(?tis$ g*c{<]cuu"Thu]eEO"jׁ~yi5ankŴv_pPt8ǜbf$?  Y/nˀTau!!7@iUVgu$'gDl3g8"') $X PSg© d?FO$]K5tڎAjk(=@G;g&{_Tɱچy3y<$JgYZ9b7b128300ae3c04b7ea477f4038c9a632c8ee218215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 7 Gauss-Jordan-Elim-Fun