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  a a+4\ ]S]Sturm_Sequences:threads=4elapsed=32.973cpu=109.536gc=1.512factor=3.327zXZִF! ]ŗXf[&R;~e3_eF dtA:'gh~{gE'>\_Rz ƬIR^3>YN2Jrr i?  cϐ~IjdNx7Hdvfp e8Eި ^^-Tn>kv1nsPCsaVUq EpQ7߆B]bMc\&d$9npL[eoo K'@fJr}״ ~9;i٤V|X&P\wqIn+I4WDO,P@x^([ 0ݐO2c6՜>I/GBetgD-Zu̩)sº(!b`CmHWۜ\]Byكlw5Sn_ıl =zM&H3[u&d< Xj3Z<ʎs}u!n2?BXV*)ae + Sturm_Sequences  _mQTz99r)CGţkg7O=9p|+d6l)dr͐?V Qaf]W@\҄JV߅ʰpb^$v%寗Dì%t eEҝPz6wr-C^%&R5Tgtp:n?z9b1/㽥Rγ{mBB 6\oR42y,Tp>#{gYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ nC;*Ú קs4?BQ@; R{A kګ NeI_ euC^"}er ˲Kp]&=%x>7/syw]0o>gYZ7zXZִF! f ]ŗXi%B o<~4?!'}@) M>I?g^奦#D&YPt]WW>U}9d AzX/4⨖V 4(Yk:~ӽpZۿR0Pe~K2,CЩ=2QQp]#b}G9977쇴oA[)\Nbջ%Q F~P5SZv`o%>>1Vтa S~^TW 6LݚՀVQBV#?y_d5ilJG=>7muߕ˖$8q4Wn7}RxpnvSF I</@KeWz>p8J>7]ALȀXL^kdLTׅ]9 -LO=`ܿ57{ POgѯ0*yffcgR2a+SeϏRx4el+w~Bp]H} ฦ v\QvXc(Cx]Q~RYZI)"I3"P[e{o$&Xml&ۤO Hƅ %'Z:ƒ4@& r曨.#u׀ ^Y0Ɵ_8%PLD MH-[n4hj9tvlG\/otAB. [(TS1g\Xk;; nJ;Ed{  B9(bDޭR=_e"u-q!˿1/鐵һB ̫c2J|˃m3Pm3!14Sfb}9P:0 ϫ9j86K5jd2/vxĮ72HiLBaQCLHqiGUafZ s^o~}W#F&ճ:H\4rZJeg|BYGV߂wiBN Խp8qNӿ|WD@S@a1M]u(.b>>Hc'[#:E63 ⓒs'Gxxqw1V!9çUing~=b^-dJ+x싫M q,].qR(k'/Cc]3 N,jbnjY}A>^[, !Z$@ m7ur[J'.=v&|9K.;S컵:X8 4로C!I QB./<}Rĭ4-.\[ec˜dH0:2A+A_^!ů ԭә;m._ϑQ˰p,n@%^/OV }&THV=' <~q/({@XraHhMC仍 ~X>v_vi729?[ނߓUTBS= |a4NRFS-tRiC_m,5Mmh@>Z&m/ uaD Vtwҳrr͓o܁`W*ֳKTs8[Mʹi2>bJ. 9MpP_Xmi_$Qʻ1_T xwMs6ۇbdQaG O?ڢt7zԼ&#@)=U2L`4 AZ!rO $%oo"E#נOL:F)ִJ&^Cֽ0jUӜRɊSwt{g8{*@*^u}έ<%Ӫ2•X֚_hHeC1vj][];3'~H=olǞP'hﻶsǪTJ[ފ>hKQ6q's{G$w$Pi6:9"NZU,%>dCSagc^(@3 (rB~d| *#L=Ei9p*kK{adc,G+J=yZa9