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  ' 4\| ]m]Flow_Networks:threads=2elapsed=55.327cpu=72.860gc=2.652factor=1.327zXZִF! #]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻ\Ag-ie"Z)L@:mEH˶V<\/>*5Us>t";H+ӟ'~9>/䔮aCE(\ktFZc[ă 儃%pp^ `b_Z7 @ V 8Ox2lkN1 Qz[*]ZP2(çS88tQ`/}D2;$ pzcA#JW7 oip>-9^SI[ ' Flow_Networks  Z4c8,.!no^/VX]: .L5"==;X鉽TRK~bԜ" swPR3|:xf,/ d<nB_ 8Sa7< "l71կYG[[ ^Y:G QƋ btsF0s"8zJ|^sصHWF?L-lPPTOXAwcF.ς&^L [7a0: ޒ_35ß]os04Ymо=`=9A7Z%O{cfG'"gYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? XaabR'(dFhy^[(4e)5{{Jœq3T~Q\~kKb&OV7ɲ/u4/-lQc''; !uY]te.HHT c7ϕ/=V3>{揹&m_*NdU :P?([QИJ yEc b0gYZ7zXZִF!  x]ŗXi%>g2<&'37&ke͗V*Ў9>*(Hs Cv.Iwo$ SN [z<"vMRX|Sw7)[Uw/ѻX(L9Yx Z(Fx&\,#T|LO l3+ـ h"np^0gV>Is!e~*$b@F?\Hiw/GY1$"v oiMUPc٭R#-L\oύAFmqJƳ*?0 ]ة~]}Nm"A/nhl* 蔐M+tQ[|s #WQ\H)kˋM8s&SLRcS w}xNG.{>14'xBlx+ V}Axwۊ[v2 5PFigvC<ݱ@3| }C k,:ޘ@x2LY1CsVpK9b㤤D>-p•j~<1sD yj* "67u3]! +)y N2r)C÷9ڒ] ;{Tr 75R-$  | ;9E0(isk8}LIb3_Z1}kњ̍|,<pI1j<z)kwAGCjg/jͮ!KwF=Bt ˙Qwq%B^s/?QM|&ɤ#jhJ] oEEHi"c~[ԃ%|8n۵Ă]s Y>g]hK3GmO{1vUDvr9R .j=Gt \;$ ?pzi5{_9)OS=-/mibKެZP-z4$9{#D"<{wj,W a#1AIZwE[IYmtYř3/H@r9Z!eGYL}Z%2_ D`3?_SU2 "qiHg"tZ*%!N_Pt^ѕThE H/{-?)j0cJ@2H Z' "Wc.WB@ WE1s+Ή-hQЅ36_!B؇ʜ!s:"Jsk\WvW_{M,ϰE)5_: IQq;@/eEJbZbś3՝_&&PaV+U-tNNA.C&TCtt) OG]Zs>QR+hd饏|S. U @;>vb,[Ė^׾ vUmRa"OWJAB&_⟙Sdt4vSC7ؽWPz&֜E?rnV8UQ qJCL+[}߷UL_ȓ%(otXV`Iň,5?.1t)XLi=ץL/1^LE`OYFb捊GNC%#f. sBV{pI•KƝ{^o;uK*c mϥGI5kt)e\EIh@`*$>h %(ϥ>*$hEWZwM][+ܥc.6,UE4+UwU0{hڶg 2jkEn\4>k ` V E`|:8'ڗ1%@-ZsCG⍳*!qXH`m̝z֣x_鲫:w"o0}q^;eHR{MK ٽNeƝ}CQ B29ؤ!AH[hlOY\F'ELTuhN^gsh,V+}U@;˂]Ƕ<\$ \u%q1Ѽ@ n{SĽV̞(Ea׼, qUܞ,|ayCYxkA#IHdo)@lZ )ctM%(UwYr~H׳6KbN{oRLo$eu[ԉGOƵ3CPuH$ z~qJyW!O#| kH2eDџC]eNZh|${AZ9Z1Б3 @ d~Uf2'Ǎ# Qh*6kt b^]~ʬ&N=}b[C`HH$ Z?8TS21VW߇N$ٺUVoOS$43:6+]8z,#-p[ {4# *;/5'1aT]4МjQ]65H?#McW9Ƙ9gYZed425ed9e5139776157ef14c22a6e5fee86b165197833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 aee5c2a96c3e523caa28841ab70d56bcebb4e1ca 10a37cbc4b1bf267a15ff46b217f5f3be3b6ddcc 8d65dfdedcd24d898b334fbbf17cbcdbbf07f2a7 e20dd74549b984a91a1d2588914da6610dba2e92 5ecf7f622baae4a39d4390f6cfc1df9cfc261f0d b1d28a1dfbe4abe2cdee23ab1f01b589a0074385 651f781e1d439d34762844c79e18c5474578878373d5b6429cce98865a8c6c90e41b38d4f9a8c379