SQLite format 3@ .  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 9) l$ ] Error_Function:threads=4elapsed=11.822cpu=42.232gc=1.504factor=3.577zXZִF! "]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}́>1Hش$[`qeAoAiݮuݾ[kw9@BJ:ޱE OKžg3 :|O@٭sb?hl8AhG"c~+A֚~7xQ}Dg xcmp%K8 3,]Ɣ;8 qfPPe>2-'zY@!.3gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#/؛mD ޣ#2hd[`*V?!0/؁fȗ>/ZJHX/6|j ކ=9D#\ĔS9Q-#5wZRr ~VM 2{?9#wbf/ #ے*5WOZ<_%k {v_Q~cӗCIźu͍ݷ*$gYZ7zXZִF! V]ŗXi%B|h^Eg=uۖu Qks}}=]O ㅋڱr2&= !~w#YaJv#(0tŢ4.oX~9oܨ}"'7<+̅&5s!q:4_W9;#~puyG&gJ6 nj@A崞hMWS*_3缵p8Y H0"cJ\y] U,X|6e?Dgi>h$am`6/ XҌH+axU_9 X OΙXۻ%Z~Y~H-?""E.A}q5L bB'cIr-j#aF39%w$jԃ#dp`73*zJ^[CPsody?,%X\s ܿ  `7&**Gm5gz7vہ~mj\v/*--^ԲI"#Z\c JH1LC,#@]wBX3'*SśIK8)L+߆~&ۗV IRBAv|dthOBĦ_cr LnA *v@kmkcA0́]Ner!߃v]G%CQ"@y8IЈiJ!d+Xլ}w;(`]9t/n"khxż"U]bO3)쒡EZ8Mro,#P._Po K8&͓nOЖyU r1qIy#(񍇜XmliQ=nFo&DڿWYٮZrDaW^.B vٲC NQCFMASS3D] HBfpӗLiib${@IpV]` WAF bJٛ?(f]3>axAQQI(.ql0qe%kteY͚=:BF1, oPprC |h,q)I-Gk8t-~c8a+["ԯ|Is}%Td`SPk8!wPlGedp%!s R/k]ګp*fc%ŝ`ު{~\*>h?qXe2}}ٲI-3;T!r2Di>0As?Igj.Wӄf 066;@u? fkzSdVGߨ>DY)@KG)Z_Wұn٩M")$7S'ݑp}B8{ 5kީv jTU]( j*Е3yZ%S+ˍA?[_Vx]A,)͊HWiLaKSM3.Wm7~Ԝ5E+N%T)MCy2-m< FvgYZe0a4a42f3cc1c3e79223463035585bede80fc2f23853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0413d6259892f6c071395997e7065d52b3366edd ) Error_Function