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  \ L<\ ] SuperCalc:threads=4elapsed=30.795cpu=95.280gc=4.344factor=3.097zXZִF! -]ŗXf[&S ӟOx'Љ/~xS}%v3jnMZwι ?^4T[\Ʒ?뢊O~3Ù|i uhz)PJ|* U* FN/&(7,| 27|2]u:/fWȺͫ@2( YcQ5Xr,^1MOZv$r_SDQD3Q"ݏیf4eITquN#2d{*hrq_mD-g.d+Wq#Y"Fﱟ˔( g^FDoP@1Ny Bb0++`lԗ?,ڏӋ==w^ʺspj?~~z?\f.+Umy1o6E[Fݕ(]O0`۱ԅs]tlNbji 7s\2evZʾwJMnA2qx_1-tu0J[:NzԨ19C#qA$?_ƈ>|~~Й87?2۸_AkYPSEp`VKz1Aj+v%_Zd[־ ^ne`iTPeZq USX-A)k&b l\NLTo%l='& '6(?7c^=P/!8a"k\r _̒c({me v R7!Lnfsa=b]1FU*Ȯ:>& ['XS_F 'fA(2;B] 1[ʼcqJ)/U1AtP8x5zgYZ7zXZִF! %]ŗXi%Eb⬞E<q5m&0]b#C<4P z,€,9 oc|>EkI'nkTz"Lr=.hnf){p*-ݰ6jiU'CATMsh'Jo_V: a"V[:]=aCF4䒄#.U#a !Ͻ[BB Е͏+Ms3ҕ# a!l -jq/&32n/zJ`1]0ZZTo$r%2/4ƲSfi4? qӕ$];5*"ab"4a AwkSdsV[{J23@L(_A#P7ASm?x#A5 f]:)Jo1._-R[=#\.F1Y.&>zК] u%p$$b@leSdT q#37M]o~l_l,gl8 #^>lG\R<]yDstT JKw^m B{>:6H%sem" =P_U!m&;Գl)+1 Azv6ۥ]O`1)- ±/b˝%d8HaV]Gx,վrA6d5TW hYb l/(=j GF[+64w)$9Dmg7qR0yاC#@"AhL!{sh{3u45|V,eDN?ė!@V `Jr{ Ds?M.֬:Sɲ.s<pnfW ?9\įX(=/-+k l@}oIiI`)Xw 8iő\/‹PyݳOQw8T! GɊ_=;+m+Ja]/˰Jэt9yiu<7ׇ|׾[ϯMA0_̃:'N)fL|@tz.$q.KrÉfUw2j1<$ݦYS$`6K|Bz \e]ȀVR<-ض)_W`{C(}%FEd'.J,a9CG]E=dV\s3r.#9䖜vvd[ryh h\#+vLeؚ{=<4Ω7`M^4z#qiVg.$ jbrk~sSf?Dl xYxˊ }Ot+^K/rQRT^'`p(SoS9q#{sgXs_":il,!Gaze<_ dKW9L¡`NѦd22Foq}NZJ ۅb|inUm_P?~6k_K/2 !pW+#>HBsm￸^R&ro9hhAjtK ~g?9Ꮧ199BBdBX|;bgJgo W^:Gik̺ K!{8z ʐ)|rz#>2C|З#j㖴U98ʍB]7b?,ՁJ[0 iՕ1O#A"  ;7扂c쎳ﯽãmm)wa8pdH'㔌(IT!ԿB۬l 犭'zo/۲YHGשKꓦMT:K-IhPIv2^?/NC ń=þM7*.͵G{㧸~bp!sWNDKomf:JsѶ  V!i홒-H:\qFe@BxFBe 3t]a* YY 2͔P ?zF,P~oizV^.?ijg1pD)biWvj}$kr˜:|a+fȅSp"gHynC_1pZ9(x\B56muL(rP$To ion<p'@#TsJמI}g<5}KεfƄ| 逡 N |ab'9^s۵VN xoeVFuf?s(?n2jd)?I~0;CEoQL#6<[d 4Py\bq/ Gv!; RelU8 ` G^¹mtj86%Ğ]kKd5]n_Y3/la;GCZD wuZ|1V (mK6>+VDurN1ʅ1763 =N_6}%=H4 FKiu 4ڣE(M!a-(DJT˦|Â?/N?>,YF˼ϩ_۠uWEF!l`u{Q}t"^>D u%gYZ2e2e6aa1a31d1726a528a3342d8611b482d45c4e87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110