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 HM$tt ] Password_Authentication_Protocol:threads=4elapsed=78.816cpu=190.684gc=4.864factor=2.427zXZִF! ]ŗXf[&з#8FQ [o"~[~ȡ Xh\ lKoE_j* x?GI!e9KTRr|`r\KOs&U݇wԊeuh,/ SkQ}qlF>7OTpaMRds3f||s/.8%w4Zj@؝Be\nRH8܃hըr7~! VgRtq:Ji| Bq2j˕ŸSct|M@% _hcPR;M-R}u2?rm"6Yoto=ww^/dd}yfǴuRl"/h6`3Tj|=s]օA/(!HzK|tg8 X G90)K Q򦷈JT7Ț)+|,VĝJ]}1';[.mm{b4U HbUPܩ2؈"lIWf}Zτ R4 FV><,N*V*œ0aSZII7^hn"=7 3F8j)<y] lLkFMf6`aJHi 5Kkj}ʱlmdfADK]Bk, c֥p)춹 }woaq![itk$*;+W<;&+ [lFf4RDt4B`% :4`zgS\Ǣo%߭<+ڼ\7^13Eν:Hll뛻uO@ἭO#Jn=[~`}i[kk\aam7K7d6B:_ڿFφ+ EzYNsas};qO%d5f=DY|c5o a%i NڷEʏ)~+PbAy 9ȓA >Rn58h[Q1$͑YzX~lc.GuG8F{2ҮCpOekVPtP2^$DhX? ֢1fi"F u+’'̪Ih637BvO0< 4):$KEm7rr *kb=bhA,P?$xvE&[/wT͊䉖YR6'CߵsUfwz^*B΄ EGhI(NAVt;dOB +xɨ\aU˅ -f{ 54d|ċ`[AM=#/@o,ev"R][=̡5?>X\Bn0:1Ͷ$tfA oNvGgΠ@!(H{ӊk*5ц^jpxHZ? xg| ^ҰX6eC81E_p hqܻ- oNv -Ƒ`/>i ,Q} 9.KzuWqyCk((Σib0l  #M Password_Authentication_Protocol  XSEOO7ĿO $M} tYѓ$O)0~mG!X_\-zJrm,~h\LRSlB IT}[Bݜ`!b>(47D{+>;]@U?]$ ]h8?WlٍcJmoqL6 f@B\+ 96=ssJ/#|ssE3eU&~L zV`!gniìW@#}iv8sBOl~p2\Apd6()]e6\̯Q2;}7)/6!rtP^).pC9VM\3JRYSP2t! β$Xb#W{N|5t΂Krʣm*a]ydUh#/A3T"LIւ#" #P+NyETIdA'C~XL+ aOQ/ %7siD)FߏCF=+\a|#do[kl%o?.O)ozNF3۳3|hAm, `)d"Fӫ/e+#4@y%&@ہLDWA695zyy<@&79j.@;4& 5;KLy^Z+'BxxvrMr1/g;B3Rw{b% ~@q^At:; Ut|n^Av"@Kn1BSDN8$w 2T/L~6~I\Ӛx8i0CM|PZF/ ]8U~$U6eU.ra.Hqjk^h;Y7CbQP d H)ͱK_UjbQi24Z݁*G!i:~$h0l/C8vաMWԄKO%#/` 8 dV=nh9Ex(t{" <Cz1 1k!ddLI5=TrC)BY{ ʬd:ȫ"[ ND+-u>L3NuN(^t]M2[IX%] K* ڄMA r %˦\]Fş8X #pѪ|!bXpd>OP[7،`vH[d3d&-|v֖G+ۧhGmǑXg~ wgT]{@k|ν qQZ72[cwbH%KAC1FU/Lr[f8f=)> oL6jBxS/qy(;9%)墒* mly݌D  U?sH-t}wu'E-{0NM0KNsNj`*=⤅/0DNq,2ʺo$6ܒc ǿu Ȱ4f}IU]d["GMF1Y ?#\7֚;qECFvvMY@?kŃy:B4HZT NН5tg⓫0c\UfNkW:MHǓS&[Pֈ䔠OfU&Wr{tɋ gWG7ZΖC"u% .G78vimQDb6BӢY}? |-"+ۧ5 y·Fd.v+shv[C HD{t[j/8)M d$9Lk?=aP_Oa洴I9""QoAny_-]V?Sz9? ̞UN4k>0x1~e84g$fWSS$?%5Rx[#63R1n O_ V p2Z6PXv1D,av뎥]@_=y8N ;eASd8%;7Au41Co*-ԨL646atw wl-0uv4Bu.4c;YeScy@@rpmff,Ψ6j>gYZ5345e309f48cf4b4187908132d67dea4f7afc07e5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0