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 ]% Stern_Brocot:threads=4elapsed=51.188cpu=81.080gc=4.636factor=1.587zXZִF! B]ŗXf1-q恈͐7ӺV 1̙ GMji  G{?c]Ð-4- uP`lnwM$_'iR!LQɬ @l|;HJW'5E68FȌL"5˔.Q)'pT곑` ڿ_D*y`ƔM1 `u 6>bw0jQXO<#?\]JͯH\x)l ˼+.9)8Zqow^)gu0  IT-y-(_ 7ث޴=o21}:Axx/ omqwj8-G0& OAIrj@KiqJT3ULHhªPx 1u>t|.\vqj%WV-So %bd~3C+†R_I|. $ָ3G|qqYד46{53@0t9_4g=złCo-r |5T20p84b3'}CK~ *VkeK pG f=x|?~mR#~h_`L)0Luu*ɊHK /7xni+:<2G8&:$HVr,w)FГUz_6b~) (=7#bZ`M5{%|4R\f Q!LnЂD$?ogbOoXp$΋]rnXKa0Ъ84".T%^–E۽ՒJ{8^aRt 9',?wbq,4o6҉'vY~拏ڰoEE?$Nox2W;<ߖw [Kq2"n"! })BE} N;yføreNʄu~nYIy r(XfퟚCRG8)&XҸFU-:b,ZT,N Y7/Fbqi%h !L .B<wH  TRd^bjE:/LU=.wwڦJYEyD9@2ꚱ?κyBlvRM\caw(Z{0OȰXBy#?,ER$>eӈ>iXɧvR #D c6yuf0  DR+ 7H1{ҩVhnn?tYJ4Z'v p 5줦˺锡 c˻sU>xSWldq߭2o~z[qtX*q@(qO2MT}!6[pߛonnCނ`B>Dqtγim#(Y$ oǴ }0jHՀ]{34wͿ C<|gb6[ "R jj,I7a9ЇWylb YCƓ 0y`%k0}X0͜yz.S~侏 ]ɨ0l0c)%6mNcД/ј`F~x>*^lK@T$]4JUU ~4H 0zlI RH(OڎYI!F~#n hC߈iश`g|khM:2 qYSñT+qkaZzNo'ieInBnEKd.Ot,ӉC.ӒW'<3ŲCO=m6e ~l@Xty-bhfW~lSR{^9:ޒ؟f?ռz~cMdJM[\4 Gdp b"Lf ^RZ9F gNyxH9i<I\UD VZ3phP僗䭜åϼZYɺ )-~qЪ޺CqmپL|UXCX8 j4b?n>gYZce22a17afd02cdb9cb295f9b3e94f56630e6bbda9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8 ca9a2d259ef46c754fa4025383c1d433633e8e28 725ccca16d39447d7afb15d828ca7c0920ce2ebd