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 s7 Lt ]/ WHATandWHERE_Security:threads=2elapsed=40.573cpu=78.784gc=2.824factor=1.947zXZִF! ,i]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC[ǏBOJ9.y7"eA4%nTxtNW"NS$C:V5N^ZkJ'`Wsl{EeAt e_z~K4U])ʶ"'+m 7 WHATandWHERE_Security  0orRq 9ً},G -$+} JiG-r@zl\%ZKk>RCF\!"g"@~M7p(+^h@j7#nz 3^8ӿ$4Xwv<$q:8I [VT6a`.aRV$݃wDZ#qd:9ʀ6i3elww &7Jw`e!R;-QYΎGK٢-L6J(S#5w%JwBME~b,ޟR78.]sAbU"FKI ᧮b] 7ZIފ.m#K#f*[ic l s(}Cg>M0MI*G3>GeiV`ZFfXXL"k`l_Ie`:G{}o ~ ahuv\zW?NhI]\;lr̨Fe&좖W/G֡1L>hQ9[*᭗iڀS20[: k:ԝYHT $}2cy,Qz[A"5k2!KpSGXȧ_gYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#p9buz[ 1ѷKAP_vW4|3iVa1c2mCxHAG>X_Rܜ{F;#.46r6̎Wlrp{X`cn,T9Luv?dukr-rup-S$}q!:=[MYMu$XLvnM盰X6F q%c='s(H(KW21f֗N!TgYZ7zXZִF! $ ]ŗXi%>gfҵ%|~ڣLpN4{byLw $B?˨IYh6BL9=# +,coj+I/V( Di?mcc^/ (Qb sB!~x' kRUdvd⃎X؜q[ aH)ަJ*r'i n洺i3ȗ!. N.˷zb[sf5t+r G9[:IQ~O sְ, !|<1)_m.vuLUm=IL$]~ҿb[8  Q iHGW]5r.2٢HݼϸŰ[iCvl ,> Ms R9ke>D69)2ڡp9 ئ%$JiTdݢ E>Q"oeM)e/'ȱŕC\y/ Y6+RE oKx6ķ_z"/Q(`@Ip0DGHzK^@%DuQI(` ,]{6l -#zUOi1@- r9Յg^YY޿~uA \*`KhG"XQQa#E">e&qrϖ6̂,I_F(u)qX{'`(R(#i hW[7#[5xhꃮt(zA,(\ZrBm6s|: m(?;+ b&G$t~Z3;-No~Kk=Q r|Jqjyqw-/k=Ek]1t;ؙ̖N?(ɞң -o< pS@b`N=NHj,Zύ3Z%!͂{N_Iujl`b)ӫuO:PΓ?=5}E%̿*,īK-qK!A'ua0lEM <kGg!- a$֑$6,-g62ej졙EBɥ{QNo"x 2p\wyg& !~@Ȇ 4l`fAZYwlkoŌf ΃y;6bVOH`^-Zў**vh #ic!$jIzg?CjRz*=\ڎ\Ҵ98n7y`f@D阇PFwѢ3I쮢vLx[4WJNQ̧b53p{^Yϊ e^%΀{4nҝ =smn,y+y9+Y}Dz44SCRZw@sES[jN<JdYd=쟌V֐? fC^2o%Lz`.$P !)(7@C@2T8án7Gl>B]ZHɚuѦ]2*o#[#TZu |F70녿$'d\U kJ\bDxZ׭x1Mh3?^)zOͩ:w4 ,f`Q̺MբtF8|jJ7UW̖A|\ّ3LFeQ9O%X tM6Xt_ tT9H4ew8d\1gp )p$E7zrwd:J^Yr66ρ*,^[AI@W"1 4oyfM8na{۽tSsmAP+1Y~g&t_OljlL<ʝTi(,9?Ϙuʀ*^1orZ햇E \/.2-u#=`j#Ndhh@vm9 cZNJgYZ1824ec60411f1a1de41a652434d16c3bfcd48cab767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418