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 81 D<\ ]/ Finite_Automata_HF:threads=4elapsed=14.074cpu=42.096gc=1.316factor=2.997zXZִF! }]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VuVN9%p;z+Z=HqDxA%/nHi CZ.dܵ*~?>~\",0 sInݢy;LzT4wn,mjgjf6@霐 Vc(^@]K`# ?>a4vX)eL>-51T5a,1* A8REwr?njq )RD nam*& $&>aL\+aVs5x{NQ"ڧ7덼h6Op瞀,--f{L|{fMCBt>,9FAZ*!>AF;qdheCn6ڊOרlK嘾ι+ʣE^Mdbag⚼L% fF3VlQ䆲lj+q]1y8 gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{H"[Q~O³ijڮJ1?UR!SesZclu"ח>Sީ\/bk <"Jg0qXp$`<n STΖ9zԾt q_yNgYZ7zXZִF! V]ŗXi%@b^~Z7:KxrFlb1 NP+HHa E  ܺgiNs9;g}ʏFu-w LzL s $C%ㄷ7NJ"O&LN `̴nD;kxI`M7FL ?o=PҸA1/bDzW>-բbeV}}˶[vf#LYIM =?#رxq˫mAF֗j%1Sdt54-Cxv47e/ntT @-79i4 7c]C2wA;Ywȃeb-2)?k*jL*;35E'{5U "fXC2RtZO(͝MèS V/|k9,C i*3 \x_טE$2J=~&f/q|u?>sFJ3F7Q+W{af}i\LhjN#"մ^x&ERjLn8bX ԩ%mx8[%W[F/&{"`<>>u )?-?:TÓ@sH KeL; L._K"<.ahJj|Ai[ǘ[1*_JLHW]G%EѱS6w䈀w*Nɔe1:Qa869oe>O H(bE&((w=I@M[MehjU-}0:1%k{[J)l:涙+kOxXb7eJ8N~r ~E@X?0ۥ{ƨ-lOKĄ꽱0,;][O;yTќ8w5+Q 2,(`Vq3j`QEj>kw uEo㍦Y=Ė?vEPŃ醤s[ Nznx%*!j>1rnK}2aQލ1N hSb> ֪Vw+$y[u\IMȭBU}< hȯH#x<2הl}:hR`2lKL\%3C)J}hO 3ޝLߣemz%a5%X 3ޥ`!CeؤK4’#IH Ÿ c0KO)shtSdPUj"%