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  tl ] IOA:threads=6elapsed=7.486cpu=32.360gc=1.532factor=4.327zXZִF! x4]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 7]!Ȃޮ^k 堮iLGp|pBpM-NHI oô;т:,#wk]}ɰU<-&,#$DQ+@nn^U*]_2k #ꌧ4zOTW@ 1el/ )"' S^THcny<=pթ3R2oByMzW?ϲښ)4oKCTIمo0qf4N:ݮh_Y!(lah[l, 9^KD Wm~d/}*eœ>ʯ{;[}bl_;xQS<n҄^8tO%5ҹLj!&U%p,w]{vG|t FNf" AqO&Nlm'X0Hn|ee=ɱgYZ7zXZִF! `|]ŗXiɟdN'LvH۹$vYeJBݲ@o^b`΀;!vlPjG$jk$*/=yEQ0{2Ҙng%a~#^VL2mu"6Ţv!:;'r5)w sFi!1!r58 pcdrڥiӪzhn}Ťz=70 TӢHw1ωEr=w ]0AbFy⹙srKFN%od6@QՂoHIZɜʥ#R<{v78,{ oWŨr.^`f͊ZPA"kk{dRBBzcB,F ʿr gYZ7zXZִF! &]ŗXi%>m0Z!W=O5Ś" *[T1H`pj:@}-^_C@h{8ؔCSʂeځvm+Xӆv{l$x>`hYI&vg﷢@6s蒗Fk>{s,o'kYvਤ1$ \|hO-",>P57<8xڊeĠqsۧ=Agxs ^P!8xȡnGm4ap*GHZ,Ԁ9{k0@f]C,?"lB7O O!gHT0Jq| vydcxCY9)'1COn^2F(/&\6=ԏ*_\Ee7aLo/*M;G@\n+`M@UZzmkP1 y`ۋT4ч6%nuq6\EN z`< ;)9HiS:c=Gx^N5T{oIP$^Лo2znNBޓZt< @q ڠS}󇛷xoe2he+ue~EfŦX;Xd?&$:MәgYZ38a027e42e83369bfc203f50edae1c5f8ef05d86ae96c4661efb67fa55c859aee66272e43d21faf1 df5aaee0a1fb0d2bd927fe99191fb28d9ac1e456 9d66f4a525fbc7f35e564de9d9b27faa72d5d49a  IOA