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 cc'2+`d#}ײ jZ%#AHX C KD>8 ȻyHxee~"cZ`q$;x^gwjն$;ܩe ?'nV*Ño|u9GS$uGZ#ЎY6""Z3quNkvFUAԩ֛UьLxܚkV2[ OaSm'3EqD|C9GCC"]^ZJ԰:%8+JWqgnp_FR\h_R9[K(ַ?i8fg~d0w`Vz@mdWVRͬ!AK ‰ÙƢ{g|ѓ3D&p&Wv^܏}Dp-Q6j ݭ5XB޹)".70R1]b,c+dtCs 6( F5)ٴ1 ^Kpj3>}F#eQDĢe}9%C5y8aMZUFno "|(66ӫ+xp*c;l:#tWiF~:{+i4vdֱ HDJ:v޴G^@v2=\(^fS W#&13o} +Mbprƥ9jذ޻V/q1]5 Į]a')Ncvd\ZSG3;x(ӭTrIɳ?&Zp>~V{?Rs#}d6-`'MY? ꘋf<E|ʢ7;gwr K!OpWl45(PUDPsU3!RTlK0\dR~l:EDMW-S3+9ڗP:bNdJoGG}s%fn7x_4_MBO7NV3{_Jߠ# &UD!}[de8R֟w'\=ƅjgll/G|n2!,j?/cqKϸ-թORDh\@>&= R:h"1p:4g,.8ɉrCju(@>jH0$hPI"^ڸB8bA 4+gPq!_:b2u^ZջA fX<7el!,&09g>A_Oћj*gQ;E/+I:L@ј#-nk~Ƶ;M3N VL?;N<IJ̦M#miq2?@ p:_>Ѻgn]܆y)bøo\>6'~n |G;} D8 OU5ߐ!:zTjTN=-S `oBYgп=u'% 9ŒRm_ucfb-(- I)7 b^W:46[HlS;ǠQ4LOt"Ei]P}ރXOstr !m0bQ5CS,,pUE\XH@fVnbزhFͧ979* ߱qֶ]oPġS8aBc gW Mo)'; |(~NthR*Pҋ7y:az aLP}_s^_0o =NBQ- Ug(_1 V2G~]T2NSxf MRxO_"HAb)֕F3DD+#lGR̸T.s~F$x|Kd0=:>S*x8630ʨ.s<ԣ׎fDlRٖG$3L,", ujJBfs* $o/B. DJ6lV02ö,tDž8sݻAB P:)v$7-ОT'Onjh1*ԕe+1 ڋ 7*t&VHq"O'Jwv /̑b<'O\+!./a`< -5v. *osq.أ}D".a~Ds]!C\igYZf02a25f676e9ccdc9b6eede4e4b132e19589dc67767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f bf54b744797d34c7e4e36c060c1a4c82c302f095 3041d4407bf0e437c06d41e2359cc4899669196b 87ed9995cdf30bf3a8a68f0e892decce2caaba12 0fa08f206401bb48421623506df47d3e0d0920bf27aacd0ab2efe234d847d2e6713f372a16747a69