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 3 D ]S Decreasing-Diagrams:threads=4elapsed=13.166cpu=41.064gc=1.000factor=3.127zXZִF! ]ŗXf[&}M~f\OjjF%-[ߕ{T8 z= xMS2Qfonj#ծ5FH> .q`k-:FWMa9OfJJ.ZT]H`5D$llp 5{HQK\\|r$fN1^< ovړC 9,lmepEqm:jdM@ޱOyY I(`%|` |k8=[+rC~Yi|Wrrik7o˹D.wBKNb9ך _A@w$ hٸ:) aE\A8N1`ݏ\>NFſ Fc)U,s @|> xWd7*qwMviXmw6HV߱GzQkW_{|#R 3Pש#0hv{!b֩G^TPoT`9ŐфtpСl۷+f-gYZ7zXZִF! [L]ŗXiɟhb[@%= (]T^ѡ`蟥],D/^ց8 dNYMcEV%7@QeDEGlJI?םCM|=3]jgyZЇɼ{tµ+j\FX>K?;"?a׋DUsbGL+b:G [ >\cיGx>}KhɢE Ob,sX\Zxh\D#:Я|r;%5s>YX|ΒssV#V=V -S'ޚ#덜m\Te[9ft[#0̳ Y̦켶b\,m8u*wڕvB  8!$ӹnb{[`&#;) 3+fǶSQ)k7X}5cDBuW`ʯgփ7-6Lz35;w_/7/iI1xX,,Ҩ^Cuh *eanGШOqJf77Z_`6oo\Y~ߵ׽xΡM}h> f..1&ȴtTյVA^8ud9׹wOS >XZtMZ@fН_; o[8K*S3FxhX^'483w 3nSMJLIfڄb(yY ~} {.;UwzA@YX 6f2F@ܼ j'[%U-rl6>ߵ]uM(3 ̟͆i3:U8|*(i6 4mcAHƹdF Y~MQ)i\.ӿq]!CyCϘr^ڤB$"uʟ8RJꪕn9s2pDHFՀ·ŖKʀy:?zo[աIOf<$OW-^{K:Tf"`z-½UE9b1)G^Ln?*Jdո)$kv&n&(:X ‡ ƶPES\Zؾ fT_j1ٺ_gHѠc)/ò#\R?XwT< 蒦J~c|4KoʓgG~ _L-0dͿe8ׇk0:!zK+FU'JW:[oy`^xGX91Ճm縩eYWoP7Sq3[JkB]9OJV}Q$X@T^p=yX Q/Q-' {F`O>+z1C䇪&QDn[1DZx0=?ŒYA%:qq7nyQR8bKY"&sPm1jYX;ڋ]|82ďī.