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 FF# 4  Category2:threads=2elapsed=18.181cpu=34.504gc=2.240factor=1.907zXZִF! ~` Q]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gF?_z/3)y-)X d7EVHĚupVtik|n-" 6O_ 1%t8{3M.Y&M*  Urb1woĕɡ}o#Ssbarޖь5 i[k`um)˟ β wo&} NMC{S'܍G"{Zю\۝ ʅYeRj9;="@;&j)nv=g5qľ.ѵi!u/f亻IW I͙""d&e啂KH3˕pa|%ő__Bf.(_V>ގF2̿-G]B BHG^ `4NE_0KL­ qQJ5ӆZLEyJfoٶL$SJۊ4>|L,ssV3,בN͟`6W9Ҩ+T?A lÜ9%q-9T5A/ { ==F]$Ƚ E8ʝcv~cYWFp^ؼs>J-o;#17L014S1p~F|;>ӝiNwnc/+B@ǘ6t6䳬HӲ!39WEf$q䬄F~a6>Hm9}O/ǘB7`DNȥԔu_>˓#   Category2|1yK" cn \Fcx[zWCAB??_L'˖ V4wS,%8v\ +V-D9amf"WVZ"ﮪk dB:h[,B-N܋ڰ=Or5R15ʻc>o)RT J|'q,L+pN,߉cp˯N0Ul1hUuԆ mJ{[F%>'\,6 h.[VBh~ҁWy[ɤ*Y{(Ahz:[qdكQ_ RЊ E@&{ ($𞶒h_ע"7:˅,Ni)}c+A9'?f>_eLl0ݡB6/hЩ5}> (A )MvcxO| Za[׉6CgSSyxK??t/kƜ jjVSL:`gV: ^⶗F0"俳)CV].2sW5ԏĚ_3<\7vn 2}=?X9zH`\޳M؈6%hnu[^ě't=U@}M'I#J7t.g$Ii:ioJ+@95apx |9u)0.?gcgPwe'"p}`?TbzO#s8I{P| H~:wUXpCrژ `ꃍa%tƿzdB8=̀WRC!2 <+HOv99AbFE\Ug a@' 5 g] ,ASΞ~"xOpBd8p3. ɍTgl6ÜI{pݹKgۥ /hwu;'T5,X0T-l{kU]k?ohwUR#+cAsnbN)PCU+ 7/Kɬ_"6 -H;Ѻ'/Ms0<ɉDp,a/йf \n{Y%8sNKl %&4k7WLj$DŭFP _;1T.J/oV d3[Uve,gWe5o\ˆ]f,p/P?"5jHHAdюftNaN(K ٞ# fȹ>H3*뒸~_!RUzP=i{lR7*39Qpc% e<("G*2 Rw^+o#pYo". G|\IY)IxƻJhuveY j.\+vP/DRTxϞd|A|$kp7gYZ7zXZִF! b]ŗXi%= 'h:J弒,C+m8da@V5KA ZIOX؄[ 68. )SdjÜM -۽fG1jKnN`sB㤱$TK~N̶[Ŀ;Z1q;{Do4VtZ<ӬR"}Љ͋ TEw ׯKOz@KQiY9Ét?eT:qi|+Y̺L]WqmLJ|6OcJ3Wk%]-n .F{_DSx=QH#%j$2bfqAkTO!c6?yh( 0ZPAЅ( 0i O6:TcK7~q-^x~۟?sQSP{ƿס&}t[΃&Uwv}jriǻ]Z:>НtTj WI`|/TcjV~ne7$@=*PimYljDX[^DzԷ9kVeE\ƞҚ%Y Py3Mh|Z>iW* Pek"ӧ8}oAw!x/ F$}-싆i G I[/6 W һ``2ISܩ3=RZ4#\ YtUUX\|Yvk诙< k7#q$ GO"Q@Hr:or{ V|65ԩK6G;8K4§eGF軅SLњA?t0{T1w~zlbu7v3M ۨk_6c17*ck4Lǹ<^YeMKob\V࿏mE渢|F03G{cڶ zhuMBLl4e":`PUR\):M>b1[Ѩ\7)( t w(Y`aM~%1]VՋeO*ӟî*{)C}عX*'Kvݩy]q?x8BH&*i!S+)YM&Q{yB@ x! XkLDm1&U_LK1Xu f  95ӂ"[~t uf{B |IұgYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f fe736b600f789978c8dfb826be693d7b5ed38fb7878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5b529b8696e26d1affe58331545ef5efdf5192d0