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 "1 \tt ] Knuth_Morris_Pratt:threads=2elapsed=23.548cpu=45.380gc=1.168factor=1.937zXZִF! f]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍:n[\!PDTa/B]c]m'E{DByr2kf# ŐO3ئ!ljeQՑ՚wN_ y[`^Xgh=h܀orlY,u3?dUHl:] 6Y!sN+B7]8md9_66b[ѿ>7 /Gr1{\TIjهz &Z]lTe,ߕ3W܎?^a3u&JhDERZQY0el7 h'p-`7\atHD+B}+436#}+cQ0q5逼]^.cZRGN:#D6WtɒAY+M9Miڧv峛 pI/UP )ʱgYZ7zXZִF! t]ŗXiɟ1˦r>yǬ -O?3l\u&zZZh~gPb2Bs2kmd$ AݕC1aOMxVLExGGIp&hgYZ7zXZִF! ]ŗXi%;4bphQ3[neld7}Cd{+Y2(VR\QviY\XǨ7]]H.G1_`eJjR=Z}j  :*,m48qNppiB|PS9XT姕R&Ir5yty,C"5Y`^b-`U$]ڢ]f3(i0*b b/5k \q))>LǮAF= ե~ w!9yY\ h9" [t: K. GitF  JWW?G;Qb7VoxdĪUV4>ga݌B:^wt'A ТP=4fF ?"5 ڹqҶqn$L#Fk>Uy L/_2͝`N*B* G;mq?[ zFB&_עXɕ(}QIfi.ݓ+g`"\Bؕf@7ݿwg0-`0Q|L|x|EAӜkV˭:FBF[bmirdBQ| 7M|QHпVvX`Θ]zV.@d¢(a9t?en;?0݂V#cوnJ̻%@ӆ>?4U $-80mͣFUv:hF3'e7yroᯤ}Cou@'eaҁEVc5 K*9ɥd*U9iʬ?C{m3EKK%]9E[a /y$| ߏu19TT{Ь+ےLCai`(Ȓ7)w!-:y~+TIrI|hٓx콚Fw6|\\ BR5H^*٬iGl(a8?AtT|}  rx1ac;#2jJ[.v*sB @h=𰃖[R%PI*2iܹϵwpAAFOЛ&F