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 n \,d ]S]Matrix:threads=4elapsed=21.315cpu=75.040gc=2.772factor=3.527zXZִF! #&]ŗXf[&L_7Ae6^@ 3_9#;(:)L ~>̷P'w$XB/gǦbSQ½)p+o]FphдXtSזdUrwQ"hV)+4*i/If8&*cO6> Ajwqp4t1tsUgOR"t'-|ͿIt!%ZiUx\遀}DxZ !?[S_[@řn qa(-dl;%>ԹGV<{rз~   Matrix   8GnCG;L .ikl7K*am]0r 9) )# S/[ @(N2C*1@ĂG@ukt,[S˸ )?о?&}6` ZF 5ùg ,^3E OE%3bNN%# -SB4gy܈(2:0#tu[e*"jZ& ]^vw~,0-nlz']۶ l@N/ڤ1syGB sP0=H6H&JTI+En'疨Π)朳nM(jمϏ'#~cf)!QUQ*Z5=M6D74zEwccEt,/׳s?&Qꄚ+Y_,x֌ܧȜ/tez=b)b ӅwaQc#NPCqgu3mh/}LRx*VK¬ֲ /EWN]qeғjV$+^7U.V 9m0 ؉fe죨F]EpIJZlCL3RF[ՓA~-) rhjipP o꬏tpW∛;W\9NX+{bp~sr͙s ȹ,Gfd,2oFRpoe`_G6elJQqKK0xބI }㊦nͱؗ~v$nRq c#k@ #&VHt"j0 eL45=ÕvX86sXB; HsVԻ/ZEspeZtY|&&p i )6VkU*|ː!psa aw~r=Y\O}u8b`KP)!aQ*_2+*O_^ᄎO\i]BR spW~U@G{O+ aJU4i?ǎP;:.pgu2cxky@̺gz ECKw8?/cvw">:K +g.`Vs9b~TZVݽ&)ͻKr3ws+j;1 BRѩtҙN9R]WhŠ!{$L9W+x4HA\|0ADǫenĘ(Fj^59"><s^LGOEč U5c 19KD?˅l\?)I]YVvYw6|ȟh%Qo2x0qzD8 YA6o͋g[à}ɬ] ["+ ǻ9h_lWdDcA[X g.^mZvVrrlFPjtY u1_{5*9pg1k20R#UV$x.0C`! 1?2Gq֖ k;3߳u%A) 1W;T0wn|ZA[Xy}|h'L~F@}#c+nbq*{s Kj! @7DJJ.3I'* s*n8 ?\=ӏ8k(ϯ=?FWyÐ,i?W<sXH&3~v@bD9 Al@لS=B۴ʔӈFLVX1|xA 5XL)y}yfnuuOyا jw,}!F?)gYZe1524bd76b09ccf9eb5600d193861e19027972b013f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b61779dec36493adb6b3b0f77b735c2117318b50877ff5e379566849ad3748a7f5541192fc46332c