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  $ ]/]HOLCF:threads=2elapsed=15.650cpu=31.040gc=2.080factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JO]*MkC,2&K}?~r-q߾L*mk_I s]o ܐc6ъj1zb8c%|l\LgC_6-G>hu%2 ہI}6m=ֱW_.7;j)]+;\U#f^X a 5V%?-DK) تMÜMS9aMSUF 6jWy7 N;31u ^`$x^81(H&Uc) 5s*"+a.7ꃌ7SM9Z a^_TiJ3#YBsu\F"p]E.:IqBzuYmF͂"k!Ӭxe0q͊ctCࢂmk{`;4 fjv1V9B:_Z:4OQJ*:( R"uH `q=O^J9v!hK7Keo$t0dv}^) j1 KI<'4cib?"gYZ7zXZִF! F]ŗXiɟ1˦r~KunύNN{8APcvڄp6M{/W'] Ajd`mr0mgQȖis{S4zp!Nvn-*p!h/4e Fv3Fx'TPPw%" +B(W]~V;dfV5WM0}kLIME9fk|5ĮZ򺥥\ j&0؅nIHOZ]P$1@5pE-# ۊ ^qY[q g]=&@֬lsSA5Y-?-ӡj vEKш^*qV@D/EV}Z#q(0/;. 厘(lX꽍n̬a߲i~Y+^:JfOuq8 W]k<ѼԤUr=uuYV^!YLȆν \b/.EHyCR2wPd:?Hnxt$t,ȽD( 3#ߒ!G)6tY4];nRtA<'57M,DCφ ۀ)% sa6}S\I ln`+f$|5_7-]~GW#5a7ju-ːlMzJo;{mFa#|2v\uxcw_M=`06N.p6[S.VH y63^ɹ똹, S\ZT4"FcX䕭Um!n*C| ݿbf4W|S#S Bxu_eŽl!ls~2NtrMd§Wr\TޥWԅP#vЅKjA* G:TJ澸o0RT3ShډAr:%dirJ&t!>Y2n)Kidޓ uB\>a1?y9td~FC&ᝄo L*\~ mtZ!@"aꝡí~>Rxb b #w'`LNex_ݜUeq{woµ><\{09BSՕ)U]fݑ "`䵠:#t9>(dY۽16ҷqA\䍱$[Mk/zs ;VgYZ24da6aa735584af7db6eb11248d0ca07c2a75542c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c806a0495497e4fe29e748a288ba8138e6ef472d52a  HOLCF