SQLite format 3@ . BBh77otableisabelle_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 tt  $|$ ]/]HOL-Word:threads=6elapsed=8.529cpu=38.332gc=1.424factor=4.497zXZִF! Y]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z  U줾=׋Ħys=|؊!˞Xvy%-Ҵ&tL Lkȼ)PD}.TXȬNG!_^v^|A`ȋqηaUuj( jJҗ? R7eKȐ#>oT]n*_ŋp@wm[g|JhZ9nvz9/'{K@1N] ikO5R 鱴qdY z qCKN .YyIN*4F }Ά`Ea1qn$+mM^C|r燹6'ꨒܭ0:u{_-6& 79&ᶔx˻u{U DV  g@e>;kS{q7bI&$EE%_L0y7u+B>EQ>[SёS'=ͣiL􈉂w~LlE +fE=f /A4paPU6ߒ*3 +FL s~2`o"D0gYZ7zXZִF! w]ŗXiɟ1}?қѱfدyQ2$2|B.A+hKpd\C á-P[ȅƤ{cZaꃾ 6unɃaT|N5NaBVԍF7{H@mk[b-Rxf#jЎ77t P93a!APF)e@ȑM̪ $QLNL:A{ӇziزlTsU TbD?\-tc-DM[. B\!BU `b={aUjtdPz>v-+*(HʖwAVlLwgf(=DA ۳gYZ7zXZִF! *~]ŗXi%9#(飙0+ iVL0eAd˫~).'W:{i}X"(#R%0 8(WB> #^|,wDT~n#q^z;j4᳍ma=9j,|=PMXz17gAٚc8$:0;2+MY~o}se X|r7۴\<4б&W[Ƕr[%#&GR 10+ˢ[ś#gaǫ~ww YZ¡!$k[PȁR':xg::x&zF=+k[YV>Z$=VgZEJO &Vݪ_hpg3*G ;Ҕ p 8?^KYGzU5䪅xkk2}gsgzC/nd+_%skkm]l^8&YlUlU٭~Lo_[k#?}YTȘ#͵P+*wv-#>~ͩW: /,v+Mc1fi\; XՀz]D'>vg yb?:jG՝',r!K}bE8Lm\Fz)#8]쎿T:$Q 9K\yۗlJs ebڄH{)6V *k#yl5TYktR3/HNkEr[𮴼 ]b쀞,С~{ks>Mc pޞȞ3_O+` ŲA#l, BQ:*{4-*j|trS8v{qɀC.M1 pHkV{sָ]+l,JD?n Z_FfU#cB╶TTjϱgYZ38e05602726f608871c5a37f42f0c96e1f59fe573edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f 9b5239179dcfac295bcf1cf11d762d8b0e6bc3e38adf45981a92398484a93c0a2857fbfb68bd638c   HOL-Word