SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ??.- D ?I Perron_Frobenius:threads=2elapsed=10.484cpu=17.192gc=0.580factor=1.647zXZִF! GY]ŗXf1-/6vR[2?h|MiCBƥEJ` - Perron_Frobenius;Z?<;o (jl`_r!P֨ ӣDosi)/42 Lv++;_@ 14Y4A"$&@?nJٽ<pk7hZSӈZ{WPz:BGJO=``j3A "سPH}HfQƇ)6CЎ0 3?xILt_6 ,-w08`?sk_Ç$ˏzk"B.sN6BU8٢Ϝoi(+/ K!U \og"'Cy^2 nR Il.i.5;oStѱ6XxH!Uay@) .cXIO'NvQg 8X \OvacbʿA>] y\_w%W] /HhK!5.oK t?_3{nxtÿYp0]3֬fNA?@'1ct*g$Zh8)[A$:!@%,rjtկl4@נсRMzEu`L Cm:ʸGlC^߀y{[GrOa\>SnYRT:įY0BL3a b1T[ۯ[]F:iD^thPS͙_,|I?0L7)xak6qjԹhN.{@w|yp.fnr&nYnUSU 5/hV鴯SmCׁ?R|.|t-q mݣ%)d/jaOcD# Q`ŜgYZ7zXZִF! :Q]ŗXi%Hﯞ\(DʯmzdukU)įU_chQ;mՔӂ H$ٔuӤ=Dn9ӗ#5=ZmĖ,$pB ΃ OyD8먍{?b  @.GN/yјk-u!%ӯlMA[)Z|X:U4*`+Դrܙlx bS 34{ kgɯqȞ#dy'| $flk+Ufణ8X#@cm5}䟘R{k58\?̧6@"QUY1dK>&ICO,;Gm!dFnƹr۝Ϣ}Dɭ~yM+I]?ef>@O* 5{ƔTkim5`YtK.if>9󃏠IV?zި~]má}Q$w|3Ż"%-x͹K4.qRD>=qK0'>Yޠj12_z֧1L,բyjrW^8W*J#G6BidM4ҜF0}FȩZ, ~sE`[D05TNX0?T`kbS3m SRv̔1Hõau惯s+EiŭEjH@b4Unc[8#>~v`@Q `ZY~`+*>uQsݳ|MMX.YWRql [ū^?wsX?y  ]]f/5ʅN`ݤ3ȇ4tĕ롱gYZ01b0dae6b43453d4cb5fc048050e634b609d4510 06f3f60604adc9905d63154259b7bb096f66bc3e 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 5896ff00eadd205b7dc9cac151295194e41816a1 695ae18c2be53b68fe90bbcfa47de24574d800e9 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 d8c2d77e93e37814425dce22021c1a77c806e839 da39beeaf4e18086bd6147822c4b1dc702c169ba8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 c329537f2338737215b0b9c870b75eecbe1c5de3 09a084a642ea9f440c16b475debdd7dd0e298b77 42d943ef4a2d1d0413cd9c7ff4fb2bf1ce014083 d8c7dbf611481ca73cb08349995734da5a032747 d2aa28785867b042610f1e9e48ec405b314befba