SQLite format 3@ .0:  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 PP-; $ ]/ AxiomaticCategoryTheory:threads=4elapsed=17.161cpu=40.572gc=1.136factor=2.367zXZִF! B]ŗXf[&,[mI'u2'.E' n~+;jMlO|}l r7OEǾ8Q/i^)Ψު[ r})ס MLEUFƍ^+0[e}e6(҃@"-IsoRtHm蘟.lϘ׮3 Us̎W>iո!8AN;=O*2fD_$r,ddLyi b('kwAJ F GBMɡGu:Tw{C>5<Ӊ݉NXdܪ1Vm&7kcX*7s)Glv<~Gp;k1DӆǧF)çg^"!3,~5δyj9OƱgYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l P1jE? MG-` !Bidf}YZ7zXZִF! w{]ŗXi%ES3Hfͺ3EVhN 0N Yv[[|0LW鶦E=4>3kpFe l@>Kr8E%lt9x( Y!s~0W<ڽ{S3 0r& /'hOJبVN&j*< e_ݭ=1;,|kt@)/.?Z6,$nt Jlx*;6 o bIDzt8 CavUFHXUjn(*I2f{'9+UT7L*?$02sؠ}pqYg1 1ic7_TV ]Ml|Fҟ_^.P/cew&R5dPb$2z BL!Efge@j5fy"X.K2 SrZB8@^r qhsT-nb֑ta4tBY\Hpҍ>nFQ}6'3UѲy{iNiDk;RA$>J-(wfD@. `jV!$+@$r;u} 1yW<(důᣅp2ҫҞ+ ZY+0 gB>YQxm|[ GkE׆D\9#ghy;#^4ٶ,ݗk*#~kO]^᳤kc>@Ɏ9&D\q٬?$D{m?jZ'Q4 :HliM-"]=L9;=ųj;߭OFo*[ t mmk|38]·(7'52໲s'+%'lO6ŌaW;6}XnЖRڏeO37 ˖>u/)hR7g1,FLtt gI;HCW*ԧyԪh9x.-^HQ`BX݇׍x13[4Pi4J%v$škӂ g Y9_JkpDiiyu8jF oA4t:PAFܟ"nrtv}:}AYˠcO\,!4y\9i±w?]'zK,}71ˢQp!;D?nd[hU@ ryy %E,\7G1١י1wqER\J$~6)r5&JZ"w@t=*.)pQ[uX9+!)7s]l=EC+( {hIȅb6SHq[j'hA!n&\% Zӎt;6\SXnc_HQKd]p$.𼄬⦙oH)kIJT2Ix<35(Ӛ0YG8zj*;ps˃鲃βJ8|p co h0k#u7sS/?*JE^S0^rE>Z*"#`ZtvM~I