SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 (' \ ] Myhill-Nerode:threads=4elapsed=26.978cpu=73.312gc=2.584factor=2.727zXZִF! >]ŗXf[&*%5r+=~ȳ*FEUy3V2dff^#c z(|2B㛇i?  L샟D&%sڹEDܤ4t)=N`T%´Ύ,RLIK#b8QorУQݲ4l57N'>77]ne%E }`0Ų7߻·xGgS^|G{|E'S Wl @T(@zSR^f^׳ a)8 A"ؒJAOqHCJyyއʼn$k#7+:f ' Myhill-Nerode  k+"hliB.Q[e_ԼF=*l-0ȣ*fl.c4g(?>}Dr *\ho9 ӋjFqiyE3qY;3Nqor2P J -OK WLuT̼DMf&{#҃a{N~t|s}$5xHpᦦnKޢ#yc$DUnv V"vQ'Ud66{>5Jd8uUV:<Zm>Xܖ̉pD&eQ$:TTgYZ7zXZִF! O%]ŗXiɟ㶵fL4i=J|92ms;ә_t6ޥӛ[RxBųHh' Ps{=Y: g٣ Ğ&C+Rgdx٠O t,1~ mk*:@# {Qdը.uCVnP^uќK *s .+Q<?}d"j ӑt4NUqcJs̚U쑇Kw~F':gOAh(O2fi]4ާIA8e?K뾿w&ۖU#3蒢OFzɑy2f5W|T,TiJ s$ ފrۓ&H[Ӓ3B쁕 iӾͅ٠ٻ,K, ;\DTiTߞ#L4bS;+$Z ?uUƛ)J0x lk*T) D,//o~bٲcɃj:=$1[n)XD?AkTrNd+gYZ7zXZִF! xA]ŗXi%@b^~Z0SBpY W]?hU٩67eglBac~I׏ˤ<%.zKΆKvǦä ~%Z @;sa'=Eˊi:"p6گ!T&F\"4t1)h|%hk_yVkLr>>1{XȾF@Zh#dRtKS{$|LuP%^nK!l?((rql4xEƾK~•ksAڮ䁅uf]G~91gtA v27u tXʻG!AV "4bz"ܞi6p *K6AZ G}5+lgXc.*ymoW(u#sgmf/)궣3uNXQ+hz0Nt z]BH S2qZ/ ?e@K{0>5,V&{p#sOQ`҂#0-'4e^4D(t@": #-Q1Aջ5Pe鎟ut4.BNHoʝ6ySH8y)z[0wM@P0YȢ$|}~`-]&׈j1 Zawһ # 2 P@qeY`c6 N<Ub m4sG^t*o\`:A&BFSh#CŪ&Ifo;ZS-KTǐ+~+=JyСU?S5X^9 Dhp hmj;%\nj ʈ (V]ßo1`uR h) #Һ]ty"=:ؤMfvAPv8l>;@In1wFd{G} J.Q戓ϙ8(, Sc/sv~4Q9D>qt\lX6!o0zF|VŁB!k@aCԨk4ݛNS7pEǾ **8'N.EIG5]6=[EUPH}5ekǭώ-t_t#8Hʲbx؋ J~%,>=gy"צLr: \\FtǟzY1B\iQ+WnI7qL#~FA.6Ѭnn*Zru0yr1|\#d]/j+Q|+~ FH*'AZFnHyc2"`Y)? ̡==j5tR%7XNSrf9=^2Ob %(S:g) aB8ypm*;N}Hm&JaV&?J K[i8OC>{t zj>줘1s_Yʋ Qgh]υfH ?G2myu@g푲"AXD#eTD`թò)(IGa<2}&r6XRPv$pll>iM-gG]f* Cs@h eMCJPz'EZ::]I@b`Øm'aƩY@uc~tMgYZ85dfb78dca32ea9b0b7930bfeb68169a6d296ffd31f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 93bb26101d67863666294058bea6da4fd77251ac