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 m% Lt ]% Stern_Brocot:threads=4elapsed=38.936cpu=62.756gc=3.128factor=1.617zXZִF! 2 ]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 1G8pq#rUc8-J9B>y.+[ +fKt 9|'G4"S@=LzDv۳[7k Zժ7/ĎvzO~sËGL_{yޟ+\ӾvRM#6L).X߳v0r_eݐ%6a/哳$g;d-P HniY6eUE/IJZPio$Zpjv=xhQiLd % Stern_Brocot  +Qq,GSr9y(N& ED)J&ݝT ȷ>Vg,bKmӊ\g(2t6!K {ravh.!#c%d^lxт0ݞp9介a\G:ǽ8BVOP9RNY XG WlgYZ7zXZִF! ]ŗXiɟ1˦rG1)IuqJ bF2mcJ$nuZ  2H^pm7j4D2V A?bg_}b&tA|d{e4>81vHZ[":XlK 87fHFgYZ7zXZִF! k ]ŗXi%BR0L-Aey;캇= HvǡITϏD%_pJH38sضH`?",3gnmb'^?AC = Yѐj{4lMw˂_3GZ|XB^N6k Tq%y; !SZ>&FF?ISUfU*ov˞y 'j:,Yj.pݿ߻umk]. 8` Cn7b9E흯ͩʻHg0@JZ1F3MKYad)dwAN{%sRz]' ޫ9kA}_bMIudǗO7e[>QMAÐq{Sm252Cׇi"zo ɫG8M#T_M S7{JĺR6YaVʤµB \r!^X<\/FI+G9.d'y-*yNS{\^qߑ-+ZbTr22e! I|0R>+ͯxJ@89e+saHuCldI3Xn@Z0 ^ì!mkJ L} cX6u 'Y12\[*xÿ0WnȲ?O8\Qc?ne&' cӪNb=ڔBˤn۪4}Ď;ཕyG8jFRJ ˲mf9$woU8in[paz?eE_>jL#tL[ru(in,=*!zMO<ʼW +dӗ!v3Wk[lvU n3=3C0uR~!ywt8p|tmb(ϑj7*S-R]*iT/:1?SDv{#n30 p!׉TJ.~3ZsTEC8t_v0)ȓ"$]:PS-1S{@SQ$QXY2kXF^j])%?h* 7͘o!)礓õ1t@ζZh-e#N#Pdʒe/HBHNk^g1<ę_?ͧzMn`Ze< >QM$ MO[kdx>.K4z., >•Ï/q&:oud$$YC8tF*jdEoʁҳ+,Z?Uer 5ΧUWuMk/zVG) t3_X6Y䏂:k~bGV닣 P+ !$t]yt *eP` om5m?歔/GP^w`= $fuV9+38RFPEI$m$V8;E4ރf#/69-I;zl6F.QzGM˄1yЙy(&"yz؏,O̞"j0+/G0N-aR' l S6ᓪ㜟qڡHKGR';Hã=W3(KЏGCUR磢)x2['D'$D{H$b\T ] EA=g'eαD>eJ^lJg ϊ S1nK7OPUIڱc8שFlMr- j>yhhH1+ϲb؊?aA5 [Խ>d9