SQLite format 3@ .  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  =% d| ]% Stern_Brocot:threads=4elapsed=54.372cpu=84.168gc=5.000factor=1.557zXZִF! ,]ŗXf1-q恈͐7ӺV 1̙ GMji ! JݼWB0G@1!M`¸ِ/,V(_Iba؝t4>N ::.bѹ^t+*WU\7y \%iP&Y!Mǹ!@D?!Ζғ?d[3(ƅhc9lG~ҸKZzZH%p! uem-YpGN)ܛw7c"ߞ;h)mv8~t w];ThP]vO_4HSi,.u/[^ z*'/ % Stern_Brocot  =Lq4DKေ C>znx}gv_tC.ӰKlm')XErAD@e#pL mhYl}nD.oCH٪1Bc(ckS%SAYxʃ.A ~E$5+ڽrX"դ4Ƃ$bDKZAĒqqws:KEӶ%STo<Jܓa;0Vd+4L0\4#~v%X/Ig`B&@ރCv\ z.ko9q$!#XHzT:L/(?B\f%Y@Ӎ5BYY`#-٩!/e<K[P :-oqjYT13xcXB}X+=.5(WE)Y ' Dȉur3iV^&{k ɘ?ss:%G JC ]qo~J`zt> `چ,󞞧I~_c@&WYW1A(ܨV% #?}ZYz^=ْ<@br7 cs eIwJyu>FQF.3]( f; R\edEQ oep,Y]g8@c{B^nZ~$d3nUv6ϟ[;IDJ-`{YՆV:O"R T`_M1#)ڣjLAC}K KAtz$9|Awϓ0tc j#@ ><3/J ,Qf7TIbq63(Snkg)w+1ƒE[|# R#|\z-̊MC3}݀xmOR]mùmvwm#SqSQbjCiՂ})n0b rxNtVXufornDL ?j'ԮDɍ.;VGJFQj#')sLYLdtkt| VSMW}3u_XAzhj0oeO듳fy԰7\ r m>e}r@#WKAF5`#fL# ީRc. Y9&NCIpZT.8nP,dK.ۡ}v-MGWYB )ɕ`JđV|B<1zH8 {]l빶)}sVC @Nq-7iT$Psʇ;6^2 sNW;x\*9&ii~5c~23\FMyJ5.b,(qɡ2 ɾ5bPo2%iv(z$g1خ1nva]XYrjƵ P?$aS #]\2eREj-OYɿШ/Y|m4|v̳pn2cFZOS疟ͮ/ f /@ϷڗY͊es[!EII|iEW2iN82UcܢkYRχ;vJ.wiq^~r*n9ou<3YdJq@5Q3 '.kTՕ{볃F[Qz_"˂jD#f7UY&}!0(Vgx쁑ޤsJ@/1;աp-CU,{{囿9WXT%W6_02Y"J4L)E䞥+5(N+DoZYvK+N.}X*^40kLeXmNН7{ݢFYS>>cڶiČ`ZdʍEQk5qmIm3(2ȸ?&N7o1lrur36u!Q8D9wkf'DZS7- ՝^)kCe"7o{s3}|3#\Q r%z ^hcHhp:] 4YpT3V(\q#ehb37j?~RrC7 L4Oj5b〿i4W欞/(mN!ꎻw5h%bM\ԥTZA')ی1 /$?&k[Eс`ͶA*^6븯z|X:Բ _,Ĥ %@9i[ 2o6|zJ _zbcS/_}V8\'kABYeoz_hGЌӏ ӆ|p@e yӅPLM0y#f`iJnWRB!'"@)Ф/n%)=Qiﴬ"۽ig 3+nOd!ʨ.zƬ96_ۈ`ɪkmz/#OO.x6@3boZ6]3z=##`J D[8v.xO%]J/j; 1>[j_p:e 9񞛌']J\uNڗfcא-0UCۈ}w 8QBڭm~sDp$\Z(pB)"w._t/*kw U?>/S.u12]}2`B2sRQ%5Oq25wJaRv06.IU4F'GhI edq,pTe([[g}g^( KJ KM)}KBAvXgYZefca3ab33f87bbfe2af90141348c66fc459c44ddc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c9 386744bb6b75820dd10c5e18faf5c4419e2f36ca c7284d8f0fda7af4cc13c5dee5b78395d33a2a37