SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 UU(' `/d&~jwoݘZ> _A.% .0TT<^Zdb[ZW0$pME F:} ^hĨp'!U\րG*\0Lw&}U&} (_saqtd8 ;)aFhCJADG8[ q}Ye:x]U, Dݫ⿂q7i ':Oxqf 6!n?~my:?3l cV޼ `3hn ; ܗt^E!ӗDNVt IzrsE>ְI8mݜp>`^rq?@IGqQN0#o[2;J#n]cGL8Z X ԓj-!#8f&ZuGeR!(}CW%S ]>KA%x ['Tݴ'ҽ:qqJ +VgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zvm!4Rè)kFPBtvzCg݈cxF~2 |j]&Jbf0(]yW7UncZ8 oy^bcdz/r`C}㶆PcGc=(LpJ&M/l16j m2)c(WfCpEh+T_)Y^:W&ASښȤn2DvyagYZ7zXZִF! s!]ŗXi%>gb>R̙up3FKZk׮K5ill.}{%lU*gM`{{Pr~(3 x ;;9bco1*, wEڤN۶4cv9Ơ3;Utm)EC[ULf[T;~j 5=rx|jFBU.|w?gFFz"d,aJ-HpbB?K5.(%Xc9M~':%7 tŊ%?GW8]R*PJ5HZ7| ᷀4K 3L^'%$SJ <\tqHSj%̀/|np z }Xx&FUݟ^Q!Zzg!E@cug6D~#PIaJ5-77Egb] "M2Ew$v .Hp˒gle*3ڨ5C*A k~4>ΐz/ db_r 5{mFl>A1l孄Fez>#^L@J-:T8ұOq?nda6ŒUnˋ%ix&423kg<<@>OoFok:MV_NdcY~)ȼ-Vpg?D{LR={[Z7ۆh$XE76a~C:8W VhmH hB-rryU\&_p|35V#Mz^rz.*:sO͍~, sܶbvXFvB#<ݽaMU8$f` 'E|u'R]6LЩa#5q`^glvVH樉yK`EߌQ&~ɲ9.e?O5l' ?h/Pm@ӞI\ep3) 3$eiW^(9< !\'b=]B$&odIeq+kCΤn z]CNaҡ];):vw}p'6Pޣ*=Z"~8fΞ`N^0+W ;dׯLPD|jo{Q)4A3- 45@?5{Q0ɒ1SִX;YOOjp0%F}5Xqǁ8z|I ~uB,+24[+u1Ƃ7XRja59c芇'p"qqg[uRX:dTF`ּL$!Ʌ஻Q`ilɶe+1yw}0 [u.|06XP0.D|pbKK}9iBnUxG |?5pDjV d-*3;;P;هS)E? JHz:>ixc[ͻ@cum~ 9{ @utZwS`VQ1ק fb*vPHìj~ㅜ