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 YYMwUf)At'}s7s(9AAO rݤwydIw"T딅ӎny#M/SLw|<^^&[y*A1|oT /9O_Dq\_pBnٌuW0B˙][];)wtv*=x4MmCYb6.E?!g?NpgCrOfynլr+Pk8h<6tXgYZ7zXZִF! #]ŗXi%ES3Y<_Xhꀝ ;=pī-?Xbl;T6Y$֤rY AnA425vdlRq3Zx!kA\Қ'k װqbPj­7Z('kԔFp;XG#30@1"xGx4Z[tnw_IyKJ/-(@dÕrK{DlDcŲxvR=գWڟ-BY`vb#}N]BG߄\͎<:1IKCv$.{]-:}`7]*>18(Y sJȓirn?'!~(r #M Password_Authentication_Protocol  BŇ+֘c:MoN#H6mNzS2BJc$PF;s}X)wgL آ1Ef_Z,>>.Z}_a-WR":tXP*L\&WX6 # q=AX9un7@B_}dd*-/_ͬ,h+M zpN7)7d8 wh^?[< 7#ېibt֚feL"˅Z`(".)&Qd\ApZ)+2ÒHIHu.@5Q/A6leG =ն覑U? d1@*˘PX;plnLGHJQdX4A=N>"9m XNqrRBѭC?pMt>It3 w iU[8Xvh"W(l&#hO #:Bh\ L&)vi͐k7@jǝ6Ypv5Ck f\:SrrWz{"Q 4&-WΟQ5Ȥ?dq<<\e+ז h-.dxǣr%~A?rJol:.]-Iq?V7m]>Z^\^ڑY*jS\U駣JT'{'i"v]s+_3J#'ӧTA=O,NʽEv%5 ZAptܝ35&>s^f{N'Ɨp) w%)]XQcZ2[A^&!=Ǡ[UH)ԟ9~mh} 'u7pgTCc_Ĕt 'H BsdA]W xZ4dkCSF8{Oۡ{W#z:p;.s;vD  <4,K 9I1.8¼9Pt ߌL@Z)D) CtOʊ@$E s(CSf}(t،RH'wq5|vH t~{]֙=HZ@cTVG` ߈)_Ĉ/ м7c' OV8]])yvH+ZV_mVIhNEE]m]dfkE_e7V9%w[A8fr?| a7_G6$IX3Ϧאּ *")V#1Ԙ{4)^S}nB7[᠇b[dbM6:UegZ(;iaأc-G5!+*9w(oTf6GoNv:?x̦T_}Q YaFSҕ}ԥ)Z:&U6XԜݞV99dJ-of0pP1LTTL~6"MEZ}iCV$D^%zc?@Oc"iAD!#Cq]'Fk;T+p{ q^FHtE6m;suuG}2Kh=Aa6,iLF!Yj 8&hzfon1iiq2qԍm^ժ4gg1ӻzKdN+6L% 2̐7$ih<)BU`ʠLQzl_p"y 8G̘,ZIyblgpz8uDjp"IBe:l.(⟌I}?.tRsľ9.ߓFmA?ě@<3r>Fϯu]zf tS&-'km~_)U`RK9"Κ^:{^m@G1VOi`)#;VcOOPS~- pa!:bN^aBx2i4D|M'vM9 ߽ф%ﶰqlnSKP/ܝ im|+CJdL:Bl@aRidAQT̓Iՠ|2ZȰh#mok#83wa%b3VV8s=Qs8l>1@X2Q$FpH uo o}n}mtb郾hddFX8@FOP % VZ)ɳ4?_cPF,Ûq[58̈́ڪ놼`ʿQI8Rc.qF1}8"VQGlRkf/Y5 D=7u0:_X[?9m2ʡ}(",DՋ`HE^'؟jD8%-qgYZd8884179e0857cb6147b581b183ff14da9449d6776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403