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 X-4T ]/ Generic_Deriving:threads=4elapsed=53.920cpu=160.600gc=24.176factor=2.987zXZִF! 1Q]ŗXf[&CK(`Q>ebU?`?c4g_?gNEM(;>}dq=qMfS禩Y?N(:/Lznͷ5p-d$`zZ("[^hy! nYjAf /H񃖳ͱa{UMŦ#/wq4Gڌθu ’-8x= |sYĔ79 p,8 @SFxf\L.+wjph-o>b\<b~:7 (~t:X. NWxvF~-u!I$Iz9T2^h8!Xh`sUr!2ZkPY UæLAU <!htR}Ʉ+}v|;p*Ӊoy lv0;΅z5@QB"au'[ܡ|PRW3RJ:6NÑqGMnP02ɊM4<7 xCWΗ5%ur:GKhW)^)}qF3Ԓ$_v_sV3n]rƜHKn\,077s'w RODγB.7՜Iْ!vQeoxHAѱ}娌KqYGZvmv-iܲaQ( 7"c?Lëli}.`\&.T Z9"SvqSĞEϻAo8RCk~ʂ8'|\9U1Ȣ̬KDC?m:bUnΗc #gYZ7zXZִF! ]ŗXiɟX/m1SK-* O=kqAPKK.; q^CYDds־3w#-MT c]a~\EeZlWC6B'r+6 1/Ngc"7ۙ;-SAC Uw;4AjCvs>7~6VfOxpq3H{!Ocg3( DƗ3G$)g͐KW9lۈDDbRi&F̈́P{4f+ꍋ)!Vk3ߨ:oa'j>N75Da+5IĘ엪0.ldЫ! - Generic_Deriving  isQA@95S+B;P::Ev\w,}rͲ7#->UW4r4A}V6@D>]?[ΐotW4mUoY[kribʵ]h)iQ ;$YF1b\NsaW_ Hj`Upk[Ii,dMi;JthBũuWȎTVt\# vي" !|'CIݏՑna!aʐېxWMÓG|@RTq{PKh!_Tm8Plj_ 0&oEk۪>O&N8/20yO #;WA(5޵ZQTvkVg'o^e9|ō v1a\9P4v6[4=<[4u|ڞ@:1!.3Z3kB'[ݾ9KPsfv9yRN.|nطŕdx9 hz9]woLza9&m{g4\s;w`rJ%l!d= %dGќhSc\9 véoOh03M鴣qYݤ7}.%BH`hyG|V5 ;%I=(UCmv7D4?>TaS[ t `TJXm/\~hEw <\.NSҐK2߇$CN" 5}^A~w=&@l -1Q5g):ʲ F2#a6"lz|/@LEٓ>yʝ|(g$QPي_q撕J;--5`o8Rwsbfij.3يE_hdwYyPCРfHI<7SC/[,.XܯA3NqK Q gc *t\."M`Y[Ց -^#GP9B% ҪV!4PE“28NO^0s *qD77 1q-3R畲& ;d!egm52$7i%:#s{'4`р j$ xb{ͤQtUZpB)JtZp?w\X_%PF9 ( TgaSǯ3aD^.ί)_L[N.h U@h=dzCDlHutvfmo 㯔{e[b6ǵKp:y1ǘU,KxUxx `YOZNk}uU,\Eۜ$P )za>CmiJ7V@&|j'C#rX4ڽ'RMEX MA _ڵ⺞CbmqdB;R hԝժ>O~diomfʡQ>m=L8H\ȼ?} {OpJ&=*"5J0+\$v"urM@U;.wK]lv`!VTT80=}ώ^ZC8ϒ^o $F܉گ݌+{*b?Ԁ Be񛰠❂  TOg+ `!`AjP?q)~Uy'5Eւ5!< DJfZUBL]QE+&Gui;y=4yXfJI߂յpNaΖb?{!]NyNK̊1Gw :Znڨi} Yoұ|Pa;Գvui=GZ%HV 5OgdFoO#9 "{&R}/+o`5=&& H,E60=RnJ,7&$?썐&?#:RdףC(@|.39]؉=} Ә)+,@5JKɤLj$!O|fH >?oK~iSFO@jC^ (@bF\IR5DZE x-q{e#N^ aѷoβnv4́:^lZfRܜL҂%0\cXj C# SoA>o~Nf,rO5ᄡg)^$/o]\bYW=yOSpu~3 N  A|CZ5{x6:<|F滋N|C=;I;M,zWJp2%rh&a|y*3ݚş}DxT~-ߗTZ.;M+G( <K 3ZS^2uuX2Hke6T~fP;Z/Ys 3qw d< nBIV5֘蝰G|g7"? bgYZ9c4ccf3cb30cbb4a9b93e3f6d8180e84a6354cc778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59