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 1% tl ]% Stern_Brocot:threads=2elapsed=40.919cpu=62.212gc=4.184factor=1.527zXZִF! >]ŗXf1-q恈͐7ӺV 1̙ GMjiYEh&!9 # )YC@wwΈ9T;F)@Das;N8OS`2v4"|NA`yoY/8%5͟ӄ5˺R< Z/#߃F*TYj(e8ҋ_S'cc*.N\(Gߚލc'7vߨ;zT#N>F{c2~)!dDˊ{FPIxR]Ij>7ϟᜎE 'kD6mT*BGH7%R5̄/5=,zYNr& |慒]t>[^h 7*%nPzI,~'\a"$?)C|EPʜ'6k{Oj7JS6IgYZ7zXZִF! ]ŗXiɟ1˦rG1)IuuqM3uWw}Wҋ$#D1CjD+] T+261)_=ˠ ^( =Rr޻rTjH[ qk _h29$9DE$2cIvFgYZ7zXZִF! m]ŗXi%>g캤.'D0|ИjKOlt2,"LkcJ2L͒>κ*ߗSѵgB@/?QoM?^l6'=>6VgHH)vZQ0x>+Ucd]a.+qnS˩yL8T^X #WўZ{ T ܶ#7 Գ1,S_IgϺCR"Sp 8"'@ylTm,z~|E?b wc4}W-.9~IK=6,4EY>R&C#ގP\PnjL*Oڤfz{[odA  'XS8 . zs e[m^5C/vU-KLIt ͉%|~SF#aK1j, :`XkHAV'>r_U~INUt;W`v\ TYV˻QD{[LP~yXF/k)ќЄUg3MRb2,>bxaUh1b!Lm mų"lk&v[!{T/Fn;!>vI&_K5l@.ÄV Ŕa96iHvm9H\T{*>aFGIWW}V5Ţr( kN(k`l*H>̪4lB6>Oټ['tzDFKe`廣}`0X:Vu Š2b-C@CEEk-AqT`0C$,d>r #d8`۩_ԒX߁6o%=lS'v~ggɠD\  eh`(A P>,@0lC8 H-p_N}HKy^g,VgMh&/x CUi}¸ ɱ>n/u) %Hv V>U$ԾF,˗Xy%njc9&XJ4.~'bWEe:4Ҝ ˬ}ҭbb[ j,A{4DeALT)kϭp&Z[<cq6Le; gWnRz0uJw{[+,Ki\dF MoVV355Y&b;)h4x|Y._B'06:x a@:푞[i{[@~v,~.5I2FRRv0c$UVǿ]nJsŊ_Yk f=)G<=K钄ZIV #O*cE܈ƈ1_޺&JO+#N:Vzs5kQnGg ~k*=p2LDa;Av JXu$ M4= `rG!v~ɃN2a ѡv9 !'bct)IVAofԫz\?WupY͍P칧,v`j.cT ~Ҟ4TMy8P-1>H7m==Ut#aQ`cgK%30kMfJl>4%0%ğ+`d&x@B5QAѺґo]6Wsi:.7R.J*,n?HGzj`='z-QYI3̹sĀ]'y|%qB,o$e0t0tCe l0|̿fkC(;%r0Y 5kwٱ>(ύ51쨜_N}9x~EyA 9|o%CpU4 'Иǩ8 D9P9%'6 &