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 :# l$ ] Shivers-CFA:threads=4elapsed=25.257cpu=77.528gc=3.036factor=3.077zXZִF! -]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&ÍnS-j\׫'sA˘"l:1F0]X3ܣI)rag"RmO 7ck.Lˡ=`#ozL_ 슊qozru (bD@"r7vfV==yCXfSpFƕj{ASXGU)''6U6h$s{W0\uG3 txEYG0Eiǩ; ڳ# } jP>Ah-HgYZ7zXZִF! RL]ŗXiɟ1˦rnzx <@0+gMLaND X;={, nq|);Re O4dHk%{Y jD"l#uΥp8~eE&JP[yL @kCj<>MlT"Q5)Nj| aɌ26KBG:H&50+va&ŽqUޱA OIq P ٴ AbadȽQ| {X[MlJ&'nU5Ceq{׏^^t&cvpYpygYZ7zXZִF!  ]ŗXi%B *Y>ۉiO$\r=2Ϻ~! p2[ؗi͈# nxK:9!!*UƏSg],;d@[iUf$ǀTze ;(ҨnLD\m~WUf9.ޖ/ip)XVkBze}A $e׎jF~ x/gyUq o;1'tՙXwCt;* jsFҮJNvXhoM%jl_R+EA ( M}mOZVŒ*kjX)Pk?%l[/Z9 fΝ[:h<||x=ш\}][A-a3u L-=#Lwa= 0SuSh|bo D|ey2*eT8Uѫ9[-^EIl1W {kǴ|n 5|6փ5Y(ieBjL?eK|>&-Υ jZG+UzuƲƥj0ӇQULt/ʬ|T5XnU|5:[0R-.Xi*ʳB1Ӗ@H@gYߚy ;FPGNq }RYO*K)oJӚ99VbUkl&:a̙~ oX1zK'3lv+qc<]2i[t6Dy78?'џG ^2DHZ8-eûv1Շm2h 2> -E´iZ9)<741";X|DBh y%î|zi\;o[v'S3"pE<yN8V'+aZ (OF:Z& ar.|٧5yUMK;mћF4wB[ޯa/?|(NJ aV4f}.f2g^kD "nkPo C 2^z;}:d#rlU. p}5*tl eEh נ0ޡDm߳Ҧ?[7BcxKbG&;>"XI!Y5DeChU/; 0ڸoI؁m|~{̧歏rkّP5ea_gS`C9a)1 xF#(65Fhc6ӁLeg 1cD]o*sq6b#ћl vpv_jk;vu%zLJ+lcL=X!ZZFN/W[_ SfȠqr >+XC˷CJc?B?US({GҥS01FxFQy[|h3\s 3&48 Q`?h*