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  N-LD ]% AutoFocus-Stream:threads=2elapsed=62.577cpu=111.928gc=2.640factor=1.797zXZִF! W\]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)hVŽ&8TIJ %miI0?wÄ7FX:#W_䲨l9VP,OE#%|c4#=>f$(uc CFȓq>.yD#"\쟙ђ+MEY .Iþ!JEX/ǖQ`R&#؇F*_5% (̺@h|ijvӟ)?,>qsԦS3S HٗV8ƀ(} zX6O?, BrO?ۆY Ilr|2CG7GR` +3\.j"l|ٔntrL 9?bPMXURAy=:QE(li{3 QUi.v4/p~=R ]fé[UKub'32l]#w"e>MRac5/F ?ٷ!aTG.\U;6E|vN-J;7>yqI۸f P߆5p]?4T$;[ 7:묓UpIp aR\>ڞ|m5ftR^|aYQ~z躥Z#4+&D~ &6hqm CI\tj}ډ rUm+.b }/ 03f9Rڞ!É#nԴt.NM@wyTяNɅ#jQA xeb|Z*&BDE[?4G2a2ZӨ# ^EU'I,@\?JNڷ K\#,ax @N4}ӢW$RA5ϤV٩WF~`Ŧɾ8KdB i,!2?ۊPWOd"d-p1! eJtʃ!Ӽ95,Z+$ХL-DvtQ[ÙzcmC.hV.mJ2@rșZCRyqSET$5M#_4XÔn=Te}{Uw< -u{*10Gp6Ы'Bڀ|'Q˷Yq{Pi ?)5/pPWmwc?7QK^ora5msUE"|=V}Q6 &~'.SE9P:έ)fYhF "PxeOJf&Eqڰ>Cl'\N~C&`ѬҪ96rM 1Pwc-gYZ7zXZִF! D_ ]ŗXi%>gR>Xa\Jc-) [wSNp!: . =} Av/W7]jkcf0{ci.,x`{ n``gi4'cxP##N=+ kyZBr+ÆW CSh rH-(j]ZQdY"dNi69kϨO5) .SfLx.:7z.+WHIGOcī%P*ۻzecՋKyE9-clj๒ᑗaҥS篐ӟU: bA=bL *YT(`e:T<;Ol*iտDc>wzm}w,Hyw*8dG}&>Axs Z| ;iygs$′eٴd };_ÜAN EO09>>>,;sinEggҞVc{g~-*4O6+:I={yHX>Aqʮc2F3q9[wq-@\6i^,+m!47PAt9`IeLZ =]UܞAX{bj<4P)Vf>gZvuZ{Q-A3q;w-r~ed`@"n#*:'s4#j`ƆF)& ,3W}?eq 8CbgYs4@A RLu <)"3!Ru~X\.ny$7& -Cn FbE;t_ګlQ>heɉA:]oc ԧU';/6w0F<\9 ?1p% ՕA+_Tq8:a:7 ~YC@, #FNu"!qy$1!ͻ Q- 50.B)vjd,gh_ofD"@3Ol(aҊ_IpRQ.*|, D7-fem"#9B!6>s ʄZ#/ 힓@q0RRj0֋jPӍ{G0>(/V[Vjzh jGo|v |U;ߐN4ʍWB.ǚj2xq NʶwWd1R9 " ƟJFac5DC ?LZ[VchC29A;@s 4N1%ZDΦ0$vʾ޽ͳ(v5`|`oZqPrUm^iX#I2J̸ݧ@PWHSn˂u!g uYsr^ydՁӮg5y2HA0gT(ĵh |{(m]n2SWCΕއ.ZE^yG@ؖ<}9u"ߓFpmfGtkZ9pz8SIM-ʽgq*o3[weJz Y8DRwukR%D3-`+BϠ 3~~w`q'EJ5}*2kkvp)=ӛϲ\澡3R)庽-i܅^`MMsVL7 1p-]+h9\@,k\3v.RBL :+σɽV' ZtY{3K)z :v@^$Y#k 2*WG߾D Ry"&KJeF;biQDhXW.K,.$[8ݔ<"p|?ҨԐ2IV^Vxɿ.sTaFe i3|Ba1||7W⢣C{^!)Z0d^KN"0$A|< lL(W-\fPOrեNQ.+{1FGSNc(qh? =/g9_-SU8s`;kH0Èk:ԝ2!,+vй'8em?0&qZYB,]l'4MLs.UG 0 VptH.!Hڤ#4<R8FMܼA6oSY4.WV]a]FFAM[Ok7,BVJ3x@Tޔ?J9g}3)QJ]MS0oC\KK.OXcLp8ew*rּר!//I }"ަ90`r}!aZf.|NÃR/*su (t1MeدƢi!ċSW,T~D'prLv*p;F*PYbDȫ\#L2~~U /F:;I[rIwF\isD\ꑠ .j5V}D  sq87۴ 95k+'w|9!|]giтido\O{Di7E+{7d EZ8bylAa$Ōc!A?i>]P&[pbK6qؚ1g$LA i[DBӋIwH:A""f1OBKY+=\Nrl D65'e`֤Ӏހ?vO P1RE& ,K \M*M~xt"ټz(&[H˸pFػP P{Wob8.^I:uO%e.oqJ z3dVY\J|ȨzM1=uM @W ȐVJZE@TQw K:LֆHˢ>RPRIc k?v[[*s(6/aQIֵKЈDx~ @'[np2lǦ~wVf dU+T7\& wGJ`)lwVSzǝe'ǀiw & F;ʞc~(kkݤYlvtr{TM+^(`cp5٭fonilc