SQLite format 3@ .0:  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 % |t4 ]% Stern_Brocot:threads=4elapsed=42.721cpu=70.320gc=4.508factor=1.657zXZִF! 6]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 ZWQš@<tuYQd09Cn|LQcj"LxO[x;P-<6LT.lhdW_m4GD (HH!+XC;UmaOp3cS&:aѬ7J^+KkzU73Rбou5 BXml"_m]39$dNݯGxs w;_rR:pEnKlHc&\ VA7چfu[T % Stern_Brocot  ܇ݦvs/4b]U]sqfFR!$kLH4黡kao'~qpi}j*OlǬ7ߍqg!g3dJfEﲑ&|MV|P ~Oޙ )sVCVeF&) ,U1Վ_mQ-;m/ݹ.fa,lUٌLSrHA|+XﺋtTM5 qe>2WjOV11YH^J g[3c|θQhTW"Srj%,Ħ}~nJayJ hp<[mS;uZZ]يFZhbtv[rД  u%NR\x;ޜME._WS{lF.lrɗ=fO?ZJvX >\]+{uV7}vDWV}l3Psp-NY:r|lDb&=YKakb\yGJy̔.hH~-: %]MsA { IA==>97XJT['kc @cN$9 Bڃ9m5y {mx;vQ B]lZn@_@aBOFtΦi{筮eYZ{rFhкЮ~~,M >K*eyAeiq v`N!Ă2"g$?#"f! e^^}=ɢ@G(4^yymwY%LךKw}l(.?>X LƋ$=)E.n n+asAH0*\_$F}"7뭧7@iTitEվ*e3\n=2[zYh6qJfc@hnZN`qF6-ve *pxO/F]8]6ct>YWm$ƋieAaA!<53*>?S)dSBpj'y]zLe:N-ۗSTK8!ʈlfufI!qҒNɏF p 7hQ=&Kψ9l(ꚏ,|-^o7$Y!`1'xȼOvd)˔ cyxYôfZAi?;CWWАa Њ9&{uuB)K5"lڿ7VХP'yjZ<Hjcb-S؎N¤Y^2U0Q1 ,bi'Ҭ+qb"E6真QBBS{dw {))ZBm"_ذ`u|Ww?X/kLQۄXyY1}zjx5v .KYi9u8"{ED:8H_9Y2p?G{Wa~&P|6{(j{,u!ޠ6|5T?3mHRǣ3LQP'4 :g&>LϚOnX愨~w0,^YD,JoC mMyYOx _,=Q ApG>ڸϼ:::r10F?U[NK@uY-$<(1w:?~@2;H-D\?|xj=%5q\Ǚ SסظϼmS↑5e= ڴɫ5Rp(qt|he[i >T})?nCإtJXt3S,D*<1mclWmLL|=(ZKu()PTY >@z"=tAu/ (L%*0)'Yq'd2DUcMS*7Bk-{Zj2~.)`C-z%{ Wm8 i7NUT:J~?`!Ē'~|.7 L=c\l= l sXK?PɮwNlfZ\M: =PU3ڀADk(@ه}61I]Hyq,$\! 1'TUe-y/&kF=XtD(v< C XyݩȞV#u ެЮ]A peXAl>ɴV=1h̓;̵!)SMSh;>աށ|5lj3BN:P=NVyuZQ >>9ܠ/3Î׮_=j$ȑhO<O bU⻸[ axF8(JI' TaᅍtQ>.& AZfY;R"g[iԣmNCrL-npu0;-% Wc+Ĕ">lg^WygYZ58c7f86613c882882ed4784c635fbc5e468a5ac2eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 41e7fd7a751663d137b967ee5fba039f4734de37 bc339beb8a467750feaf070e8d3815fd9825b15b 8001879c4eaf08ac6fe2bf23d2063c31862483dc