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 e/ t,t ]S Monomorphic_Monad:threads=4elapsed=37.629cpu=66.080gc=3.072factor=1.767zXZִF!  ]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rиjHd_fb$xVξ>zn(/NIKÁRv{i/L7|8l71,^ )Fپ㶹IiV ]8k[.άSp PTGwqyۚl~*8]*:3ed0Įtt{m^gײ4VH\ľ)1p'&gk) {9i!{?Gt#7L\h EM-r:9זJ / Monomorphic_Monad  6mz-2jCUW_j lm2p a"8^ Aӱնxo8,rvjE}wiM^H͎B: ;q-TѶiwE䷕dJmf ^+(v1YLRIŽV`SBT?m%ywKTVp4X};xu% )pU͌'?\52)y_dSi˪& c9ò!ij(X%k>az&6Ir8^W79͉Y[Ytn5_q*fgYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@Ffvٍ6NƦ`CyK שC^μ^Pnӓ EP$ m_x^)fA6*G1şSn" F \ISxĄ8l7m9Fm2p99@<}7xD6klvt蟁k7o% voOT,F` V #|a#oydc%`-$LV K:ګ"0L"hS+#`!u*S+)Y69,`7s^Igԙ? lm}M{2[e !C٣9UwOS[4 co"H<3i|4l+7ō!E`5"\6p'R8.@YOPD]FF4qz12]KCH_w O0Ⅷnday?å2vm@fFAjgT89\7c%;|>ζ+sU^ OclsY6S(cgٕ_ː!}t@"V]8GgDA'mgo)Gv^IPOY`R.g݄U{WcA*t,֜*8V,EF x҉8 샏 F//xӣg㶐Ե2J7 ~o=5?>=pkfF\̞xRTe(9#Z2yk <^Syv+G~9_^ŀZo%d}e`PU /#?Bd"-7T* ¢/SH| 9m(l2Buܞ'lH6"c7d <gcHY'-͏^ lbfk#FjnN&p4x+A 0Hgo8L1QCRŊ&qfKH4,֣q@shC*ͨ'LP.Y˓"t._Uxy17 ] o>zpqP剴6ZN閥b(7ȯ#vtLr>faoH~6M'ŷ142ٖ 2stM^7G8@hVE(}ӿ ՞}ծJ l픈Z7?IM$uK笟h%.IPY?Z6Є#ePu8P*z8EN*z5c͵#PΡl''4REȠ#oe_iք"ߪw;Ǟ ̧WqbT?PcoPSRc౬ND^솄k$Ii&#P4.xnh4`kI(`˃m/adZ3򲶄,İ dş jGG=o7I)/-8~$8O|Ou=K/o@Ԇ'2w\斦"wr䢁7ޏȟB*DyF]5i7uvdrx\nᓂ;WD$=IWʛDP者sZ7K9kIRq?x?۱3bJJ96iYHL!cϚHmYz;6#Js@6^3&0EئTZ̟4յV `.ks\Σ3yΌ 0ͩg4B=SoQ<-N?V0x#L@)PhF%^2zoAR1jG4aj:oa xWe;U\ЊSn[k^j6_$ W*pHpylW%Q0rt99(Ixj#Vn$Yu"diԛ WqXpQ6ZR6{@k]@A-:X J o-ȫuft dds'ۭ\K Qwsano?l8fUJr>f."a]g ai*F^ϙvk waA;slKۤ8@ۤ IװjN  + (QrIxμz|(QG3(KrL `QLzوۗ0H~x@?*-|Y?ƴ֦m?O^c8w*09]q8nzP{f!'[aH$Fb}ͪ(u(NasWUrwڑ5M Gvb7.Xqϥj$o?ZXȧZr*q"Ϻ(Xd@n$H6G\k9>/ٜLR(x`|p \,'I+5iaIw=GӾݾ=2pe3 6_@as mR42 ΄S$1ۮqj@噢2Iy9gYZ64ed213436510de84a7d365f8371481b539c46284e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 db934fa6b5a7fb14b203060356e55ad25419f6d4