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  e% \|t ]% Stern_Brocot:threads=4elapsed=48.515cpu=78.324gc=4.888factor=1.617zXZִF! (]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 UjU5(5ئS;7Y8TyvDO `xJ[{l+pbAxc<"CPXށ3ZW>JԴ?#E?׈b&7}F%Ub *؝N; džo) BksxZN{ҦxR?q mMSG )['o: wZ$2ϪXhQ89w)D›XW^^3@aӄNOYg!WgYZ7zXZִF! ]ŗXiɟ1˦rG1)Iuz7[%]c$R?#"\[9뾾{׆CN^GK5@Y20wv+.yW K҇5V7Ʋb8eEN; % Stern_Brocot  q^ַ!m@ kuSo 6ĹP}yo3G`G|()V`45gYZ7zXZִF! #Ss]ŗXi%Eb⬞A?%ڶ&չ,pzhs !S10\0rQ子C:`:Ӽ_%'gJX55168(NpQon%3D<3vZD17P1a; l20q9i+gĐgl<l B ޸U:`Ly\ Aݡz`m\VW?/`c Fu-^W_G ivZ)c7m,#i~?7)Ղ (\&$<N1AigA;iYPOӥD*Uxw_1eºC7j8!$4IuUgҶ5]qQ#@|Sb.n d nF} t\%Q(WhLSWt`yInmHkZHA䃁<:l=gK#'npyhD\%ʼǵ?J>Piq1.*CՁZ5zwϻґ6&X9< vt+PW6޽l4y_Be4|[w,q3,;SŪsGg r$Ǽfb`qzGdO.atPۊpDb] "8 )wxKX4}RRF*AF ᠁îpeJ07M$Gt-#(Zi=յ A"M9}_iݐ'4j ܽEߒi+hMmUٮ/"K>O[} aUpw(;'aRYCcsD$"*_>82h$eOL{ I +ΊyY{()aT*\8h€h? 3&0 )Fc\-^ !j\\NeS|WT2X^Nq r>nWϺF^(w`:@HM7n6ֱF%霥-YeA&n ‚"!~G-jG-[P?0/q 3QQJ?| gx-5S*=ƥlDNHӆKQ±;#<0sBZ$ 5/VtdcQ1SF@"V?9d@X6.@Ŕ.R^6z&_o0$ Oz4)X LBg9Td(ׂ-%p}'t_00i Ut,MX-!fAT5u SMI>dLՕPMӞ]kT0Ÿ((-3Oߒ=6w!EO>ߍU~w2b,ODO˪t%pN CGA&szc7<}Z4k@_Ry|)iD~`q JZ8z{%l"nz;i3#OC=.,*#ҼRGs:x,u`.Y{s^9Pȗjy"N l6`|7ƶF.7+[Q=Y-F}+ܰ E"j$:A"Tֲ͋>ּ+~)_rT#.GwR.շIܘXs[+