SQLite format 3@ .0:  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 Ml| ] Password_Authentication_Protocol:threads=4elapsed=91.323cpu=228.184gc=4.644factor=2.507zXZִF! ]ŗXf[&з#8FQ [o"~[~ȡ Xh\ lKoE_j* x?GI!dJ/$>';!c,hXp2)6,KM056f.aH8 | ,J[Pw3SDBM}ňCBd_AIRN{PLF?ۢ>üGrfWt :fqBIvj6HM-p J#) L (|-_Ugk3Xu~HNDWlrџہ0c6'sI!ϊ`~ͦiifE`0 ]-~G0$Y Jxä73ju.]`k&g:2a9RM m "~eQ^4I쌪@ܖ%wC] <{Jiv[S5-<.2(de+aYa Ґ]f%'q'ן_A_9E߁O[C?bعJ-W2#lƸ!ݟMy 8@ɅKpa>zcuY{U2y'R}9uġ1JsMWO2}R5Y;u課?iXߡM=뵙nU R<֚ e&ܺvW~k.k\q>e h I3bn2:kmUѿKU3ǧ!ou6c<*^1~M͏$/aɔ@o 9tQ3,WYލF-"ԝ4 Do<*sD)nDx0+t~$q9$J_}Mxm4,5ZP&6 yeK~dXR#)ASL.dFyQ'8׎:lzq_ W 􃦛BgqNMP_ŵT2 r ؕ R*] pꞝUS✩\OɸP?41jOzjW(Ml>hNYwYa*;Ñ9@֛$s|+G"WkHVp_\efÔ%~h:%owRrDI #M Password_Authentication_Protocol  5-"Ԯ&1zEc'cV-%T1NOIFuGbj=deF56G|8jdj0. ]3#$]&cbFFeD]uA" *9Zpc5!^&ln)!*&=l;'2秲By^ǭ+g%IxƐB֧1i*,M9z6OycYQՑmH:݉d>a`S)ju!DUOcy@q!?MC=9 i 7(N0wB*kz&*SY+eOH}E`=g,%Z*ԧ@ȴˀ >bm!<ur:b4@LYFz͕gOy߰Hr [=w)xNaZl܁G/L4+Buݒ(&h D^פY q4R*5{R .~+yJ8 AJ?ۆ.9+ 3ݱQQlݑ? vϜW&{$,^O3-![)2p>#ט8i;apDbh`a7FBl03 )H!x| 4[fPѰ_b!LW6\8lܽ4DFm\1xBIp'1XjYc 'xH(O||vc'"q1ˠ {V%)clSa:'Sy8Ĩ+Ħ<[O =m%cjs&+;:1/C;7ΏcU]q*rz9Â? 4ba#= ([~˧ eʾ'\%2#ݮfԡh@?hNςz"oU1"a04%ļ{HPyqc'٬$JxE(WC -~Ls GlFr|T5 ^)e&x҆O`oYi{F؃4*7 <}Y`Q):g3.V Apt? S7Ʌٔ7vn"uhpbXGsHQjRT [p1ת`?u(W#'EVWrCe.051Ýqe!*\n.a;@D HҷD\#v<孺?=p%ra j-̰Gz\240o2 WEz&}pa!ɬOgNͣ.==20 ,z}w;}=~! M=< ,QӬ& VE)nC2W[v旸%GGot/%( nIh\M+(KC$G?,)?S3Όz>q@7:|Q=tb&;̖.F=v% Ӵ4-j#i3TwM3DrFae4DXep[C{,nJрOŦ)< ۿ=H +J.2E w_gS jqZgbaG]G[{("daqGjI YAuDO_)"NZI&C# \3<%/u` '9]>Fɥhyq=6:d>KMlq-io(I@L`R> ] j ,!_qQpTf44׊ځ|8 y <А.mIfv8LXnm0eP^Y<W<5!FY4\FmIY +#5ĉPB ~P(HшzgWߕZO4EZs.9׊h'e*{_Q8oqζIc,NI8?'$ U=5P(HdDI3 *S: =+GĈ` "EdEEL^Mz2<.90p٘HgtK~"n[]#e fXַ7^s&uSH }| 0qۡY/DKy&LSx WKCIթ8]t'a=a.p&('IMA.XY-ywx]:bG) nSsc%o~buۚG~5Y 8XVvKݨUEL-'4鶩ԕm.{ іd>I(5?JwfאH:fOq 8l^38!Ud( ^WO*>=óg$,b*u!92ܠX20.gN}RT{wTgHeyU4^9le۽tn]Y y}: hn$ e4nh)Ebcj3{F#[ؖN5j>y #}oӾO*N}xZMv~0\i2ƻSf)I1m;Ŋu;V gge!bL0Jc-gYZ8ca10833262352c991211e60f9bb32eaf610526f4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9