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% ttt ]% Stern_Brocot:threads=4elapsed=50.016cpu=79.000gc=4.264factor=1.587zXZִF! 3]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 ,z1Gӻ,u%=>%?j^"% %-My,F8Xy8t*waZ|荰{iG- OcqXV ,LkG9tly6}E,п;T<3/s)-?LGM)‰ ~]hO s ]gQqghSY/F+Gg.lʫ>-6{W+'Y ыCXN߇Y{kz 6ИkNL|r&?o#bn*Oi3qQ/:H~lsF ǭ$~m$u]z*i1Ś!@D:gYZ7zXZִF! ]ŗXiɟ1˦rG1)IuEUYq|)'IU!խջ/RmB)D.Voqpqdq&EL?%hd!&[9 % Stern_Brocot  ͫ9..X.H0wv4<&H3frO?a2eY)`gYZ7zXZִF! .Zr]ŗXi%GV Qt6=V*{dG=PwC y=3c9:EH=GK[x&H"q7Ylmݝ(.8>XZMW㭧u}`dϫHmϖQ?JB{;M0"*At8.5(n8 kBA:o^UN}r%痱 )JRX["uu0\]Z!A{z$/}}wXh's4[>PYpf$Z>D̀G`Sk8J$W|sYu(ق #1Mz 4 kʲ:%roZ hF3r?Th7&J%܆ :w5аlZxQYR.=5c4N$Isw ;ͼ,$F XדTUZ`& ڢ'ڛw@4;hZ약 z^GhkM@;fʸl42 BtAztI-SbMt(ҭ @̜0E%U[қ+H~HO*L[Bk|ы ;YC~nae4l/}q_==!i>q4ZeX X6&7 Dѣ'fgD1"Nĉ^5H~M UFi(<$Bl#a<]0W04b/2 .sY.v !Yթ8A qB|$PsrDVW9<83~􈫊5*ԃ5C3TjvyV``K]jFTV+zu|:|{ >+}ݝ4FpZbTZmO)=E'۟b>Xxj H6fK#UwƾF;Z[x&Pn!3ok m fnB|14Wc~#I怵I[v5}t>iko BzY\U=85uQ\Ma'M,tI,kBJo!RLoC`jHr$jН#-DzЙ@$?i\>=l0 `Ѷe~"I͚-%  TXTɾ;EXf/̢@>$IX!`ćZ~CχZ)=L.E}d,?ө #F?GK{x~}ZÇ \_ qԓ_Hl"#(55qP3(WNIѪPO㫓@Ɍ)JX _^~&Ŋ`W k5=Đ;Sm,LFf"ٖKwL2؛rE;1ceVE&6z^)<9v  ؞Y{_й}[ uQ+}?do.Slq w?gNS#QV*ājg@肠hUxy85RW(PHޔ4TX% a6.{b[jQi6'ގG6vrmj \⬤[~a臊Y|V4Z&aq pw-2[V.#S~DQ;vY׮~xo>!K Y_R8b]NP.\wgEŧiAij `_AŔwegCrBM0x|]$Ok#M?H%L jh4͆fMơ{"R}G+:6$6:|P}!M_H۶N=_isr*|}!><[{'g}Y0d}/c-=y)˹D4 D'T"LF2¡OSQI].dM1 ]\ws;^h B`--aſ.;HWD,6Z?4~rFv踪+ELѓvJ:pB+"[3;)yT{ `?qX,Bmܢ uڗ /s7 j{K#b<)/9jM@uS*1wfBSqI7пiۍ+਺*ibnP;sky*Did#^_; W܌|C z{l!~uOӴr4̑TI4^}Mb(qXg%etv`*ZEAp+cZ!@CȹF{ux}%NQDP `&]!oB,Cy~|OMQX&G2w\&$3RƗ~Pr@fmy56&Mlw# - Lawjmc\<5vF T!9 a )Sɴsc/>~ H:B˱M{,~fxqcAK|b -q옑U 0%ALhd0c xOO# vy[ސyYC>A T3B_t$ !lZ;&нb)!Zuo!I IY5ngYZ57820c504e7aa3dd0b825bbc0eae8f5dcc82359c4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11 9aaa5364584c598f0881021e63aadcdf0075033f df474f5a3073c640a6645f56086ae42e7858816a