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   ] $L ] IOA:threads=6elapsed=7.679cpu=33.576gc=1.312factor=4.377zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)FM8m`Quy%> z0Gnw@4x'5o $SC-Ȟ~5P -OBWYzxi 2 LzIi͝<(dl7iRO ̉4&ԈJ[8'{ /@+BFE Y?$Ukfd \6,<@71 mA]:D,4[wj]m$ pr{8_(>L}D%bH=@ NL_n^E,c딕[XLK2 @~stN<[wE";n Cs@.gcWb'hLg5WiJ/$x*$9 K\Ul#nlKB%'?E?Aq_cm \0QtJBZQ¼lfpxbHFgYZ7zXZִF! `{]ŗXiɟdN'LvH۹$QOds,mIN2d2{YxjHjӲzҵE vSb ҍ;ACl;z&K`/zcTбn-Ϻjeei_iHe@d6μ1_ݞ*^lFg+MK ^t& BdB퉓SH-CF _n#~}mX v8ڷinl/,6p-f1w-mwLp=)N~bESAGTEOhу aLY7ܗحAUum9O>f???}/G }+gYZ7zXZִF! &]ŗXi%@\riRx/u68wtK9A}98m,uPBǼJKu=uDB $p^٤s 39)oYsJhr1ȉ8?=եo9Aa)W' [<>;^),jd<+>JCq9B *8ixB< rRN 4f59#n߿ya0O߿:JCkDaFJޥo{/3!6E#aLX|Dh|X+7~@ҞEsyd5+Gl9$< ~'T_+.N^_=8x7P %2g/7:AA4m1;F `Ux#2E"+qͱa6\UԬ\~҄qB&+ɍaGՖfT~'賒d>kGZRo'J~ըZb:AIAᨡ=% aDugVW'R2$Y?rܦ gKdl'>n^ʙhI/gj Q2w$NHEGR>&vF[-yM3"ٓ^£x}Td}vdlE4 WMO[[Lswbv h~N l4J:rP9&/̹3B-wl=vkf5L-nNoq,"ћD\ 1m= em箃N|M3C5&Qf`:F <6qlj(:Ӎ)P7 ?UOs\mP;;;oWV.e7B[&Kf'#