SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 [) έhz+>뤡,[>u:^HqYp`/vV_ >W5  dxʙ?.# -K'VLST8P*uA7xZyyC 1 iO%Sf%.{3q%®L d%#J*1W&ħϓ ~.NvC(5xUjl1^6Mʳ t;Y;d]+ +HC}H^) wGK-\wB^KOq1w*)!RR\d)6kTyN7SVՠ)eՐYǖ?1B%JDhiW]z5\~keUT.uS)=ŷX }`wJ9ܞC qQ,!p[Py0ݷNR-gYZ7zXZִF! P]ŗXiɟ1˦r*έ=F)$0pvZhqe j,mM1E' |VT$G7GmKŏ`d*d\3Tu/ln%`\&>Axmu2 #6 E`GAg۵3MyP%ӏ)qUU@V, ْĉ YBgYZ7zXZִF! V]ŗXi%L S#r/ ؿ%_c!ޖ2OX'wb\;>ߢX7Ava@H5㋬=h:%rM 0I8Eb*Dݝql3H^(6t.mAp2L@5GG|B2izdqa!p.jO.]*/l+{ݧTd;fQ~7S$w뫹kn4Ǭ\D¹ygKS*qphХւ?8c ךbM 52H6ÎۉR^:g)sx @ q@f(ݑ `?BX@=XVZ k+t1yxPT p&<)ϒѽ:Դ1E31S)?6n6N<\ˮ`L΀e B?U|^8Փu̷'S'۶ъ#ԃXAzi1l$תEm?xVux%š?F};446p{S$uXqƹμ/;h1I%oּqqވqy)b`;C*H8e[A [M-&|i0h(#Kce sTr-Wqbehxx% 3E&ڽ3e]h8#Jvif:_m3jZ