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 wwp223\e 2?/փ7ٌNNT/!E{lyd(z{i&_ 񖄋7}5,/ , 6y6&!IӑGV|Dc idNȮ+!k;CG!Pm,mBN E,xeYg=h1gh!;iaB6>1ȳayCAk.NFIsG"AtSSkق9/] Z~+|`-o9xQADSF4Ɓ랉e m!3A,Rģz˕@RA<[P/Ebښ+1zciTȃ6@78Z=I{1IeHwA & Ilz .Z%XI=k$l|qL^nROτ]Y\a%L@QMqwcr6WO8LԀ9ĐkG V 죊'{,πz8AS1dg惪^oHa=~m+aWEIڽ -a~[ac Bh [!a#*^sPV3WnzޣZbVB1'Avߏuy2)|C9g˰  eV `9ZN|L&Ηz.l!mcn;#sR>% 2ӊ+sRDKM7CEf&h&x-2gYZ7zXZִF! 6]ŗXi%L&S6괁ʉ 5wqg 8&|`[L `5-O}q"Y]Hq.hJwtpַIx/ UH4rq {*) I%Cδcfi)wmC MEpZR,*6IQ:GK&羌Pqˆ,}qVcĂ*Ewoж!HL(3qx<%k(G2%ĚX JFܖ~aj^bGɻNTJfpW `Ru:/-=~ަtN'fCTd-19i3f-6OȒR܈a+rҐ)Kᬼmn~3w!FL"/Z *l"dkQ6iRT*8<_țg6^ĞѪ5=' K0#{mfWbԉFU}Qn䶗lM D bM ɱgYZ26012a41b081fedd82206df92e811c07af22d14e9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535   HOL-IOA