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 X+ LD ]/ Strong_Security:threads=8elapsed=6.807cpu=31.068gc=1.217factor=4.567zXZִF! )]]ŗXf[&R h V c?D:G=Cng Eg]xlf4Nؓ-gL9kd !dbE|'R<2x0f 먏d&Erun_u  3;RrпdD:q@ ؝7BRk7ֈ dzZFzk;2wd{ôEMYWBZP&4DaB,>kCabSJvTXʖr;/U,*'i4Mgfo) [Pj` llZM*>@DV6s,f0 RLE,qՁ"6 z \1!F=بփ %ׁ{/ĵ'h;..]%4{*uMq:lQA-T[ z z :^`iߍ 7{/c{Riƒ#:;\D*I,d6su<WQ$-gYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#p:Et,bjQ\%n>u:o~G)rxguagCvpŴ18rNAugX3w4LR$-$., ղTs} jI M6p+3~U(Cلh]YzP9H 6LxӓH@ČMG x90*\sARnGzLS2]{#g>amAr|ugYZ7zXZִF! 5C]ŗXi%>t}jwn^p"ˍȟLA)'t`, !F͵DG/sPu߫a&ޭѵDHA+r`|lFt` _c>CKOd\(gڤb=^u17OP(ɓgxNZ]%9@y-C.Uf" Q+ׇP0VtyvC5?Z ( <HﳖT €2BG&-8$vAiӗC#`hkP%i  F.ZBJ(aK>>|$([K$! +ڨ֟rZ֨}l?MR1'm1tv"u@>2DRJOm_".TG#3+Y&anL=LI/tWbCK\.Ii'f#{٤qGhn>"GYn$oʃR8io_X$ S  O?lK˯ia>>y3e])lax̮0+lrRr.~,\|>464j(6_ut.jEOWUIB')k`׻gYZ84523c66b6f76a7abf58957f3f4ec0d8efd8be8cc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b + Strong_Security