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  4t ]/]HOL-Word:threads=6elapsed=9.883cpu=48.176gc=2.628factor=4.877zXZִF! A]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yjg"&9wK!ؚ,xꁒhI :YgYoq gGövK\TK$v=~aGh- LQDV8bv$⿪;?,_ @xE!i+{=u3?+SRX;e?dN ߽J+!iMwIBsXP{7Yģ8IxΚݧGʹX-^6!+8~}oo!=>\|ϒ>P'WM{38- h5 ;/ÁO;;|'# 'DU"Y?~%K؛-q!=s}-E-|?HY6A>мتKM)d,4>-w[q:ȨohǑ,Qi5b_ő5ܕt1a[HUsKyjM\~"mQ""x?Ea t)7Ae- ã [|q0'U9)u"4 Q72 o os-`* t^}m5gJENĿ!Q% 3Hw_={o:U ͈bȣk(om11+@u T%A?۷Vp3Wf;<%7?﬜& E:Z(sGyD#|r>$2;Pl*_oK 6|ĝ%/!TZfdJ`n"1xұgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A-3>4PèN =^x,.`]`N|GXBD0c:k%SĖoꋼ'{#wΓzV9ԤA ٖ mx9k1K=${du'|0 .kKE_C^[LQβ}w[1'Gd5u`P5p0/H7pHu5ZOQK>M#V: ǭZgYZ7zXZִF! 0r]ŗXi%>wĬ?{Slr(w7Jnm NPE3{rWqQٹf񂫐V>}Axui'UdВ&&maE'³䏿QL\MqwIɡ`ɡwإs< .ujGtWǘ#lXh-ţPdfԊ|'āqR=lP..HܦWP16|Vs(:-^ԐGLsɟxFsZR?"vxTմHDF_sNu`5