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  w- d$ ] Graph_Saturation:threads=4elapsed=32.629cpu=89.360gc=1.680factor=2.747zXZִF! .i]ŗXf[&Ddh_22\X|"ˣ&Vx)In<뭁x Jnܢ2Iz ޮ; tR] ;}xK"xE;GV_SsڬS auAy ;b8Y|sNzN!,?ZuYF !zK\4ؽCq2HO'^n58ag 1 xAP6np\G sޣJQ>76#E4_=\xX+8;livSSqTcT9\)]2,P1 a1A#UwĬ[TG$ A &!bxF.u`5gwwO)cU|qϊs(//ҏMcm/D}B+|]׉r>1R /93Fɕ9SA,oOUed߫xsԛ(:c:*^U%<4 L-6f#Y`W!)9Qg&Ʋ rË4!h8%2I͑x,n c(Ly{X^v7v - Graph_Saturation   {{\!Sj>}GC@R">;riFC]5uo?/iLxH k=" B '$7p7J$ t %aU/0@ 6&ezǯ 񺯫$,5fj_#jtm:ZP:{J)RHy@#sp?s{w\[:Y, ޞst> )2V_>*ȡ?r@AJ[YǏuXq$&Ӑ|n\BwDZId JnSĿ#޼=رgYZ7zXZִF!  ]ŗXi%B ΎA/UPp>;/*{R=틑XŜC̩YsV૰& !vN~呯R ؑϋa{H)& C\ʌ9[wZ~W6gjOj\:{Ǜ iFJhpU>2s+sNyP)!hgc0cP-'%Vvĩ'WxYhR}oE2U|z ZCprE+x @=ȃ) ZpZ~Ή1*7‘$`[O: 7H$hK*zN9K#WVm G)`Y0f` FoWkS,{J$j}6 ѕ6 a}1~ٲ7uidd~RGS)(’+G `A"'w}Nqdtٵ4T%ф-0ao&W)|ҳ+ ERu]SA/:d 5 ~x& Mc)U+ 3]˙)?YvvvƤ=Eὠ=' :EyM˓§fj8W.8M; VI۳[-"'0qLH6E?O- K/y}n^ð"d="H{x֝B=1;p<!S:gFpuPS|hZikhJ5f{!=q1%RPP`i 9c)n+l}bay%ݵnf8ʽحi ;욊˞PYɇz e:3_\/M8A++K꟔? eW6u;,ݢu"<a {{0#Pu%eV]lb2mx Ǐa3ynᎯ/P 4}f=q4q"/`U]~NwdYi;"[XhlJɳ̡zA[ű2۳M'B` rۿڼyzM̳|tND~RW0N#C88|T@⍽(g:m1̂ t`XvmGMt> Ŭ;"n| V5>ٞ>㍅aeR3{$ (>ޏ4UM>Uo@N 0L HCAϦ˅& X0OCȬ7fAx4ٯ}(FB+M0A2FX5lOqDG4Yf yV`> Ha(te ~^uօKsjBryΏ8LuiM-=L/\ʖDZx2ֹFn(`XUAu }aAӂ8;,ѝkp|[HkZ}]*`s)ϠtxMՂhrzt2E{̰2{eDC9D0Zoy+Sf+k$g-nF`d)27ע㪝'synSS+?JEб~}AMKX3!Y ̸7D(|ܼe[&Xn/7]Z~N%B:(%T7`#h;5{qs ;YbV#T>_w^EzƘZр`C c[Fdߞ3#Eb*Sdg_MC Zx>Q7E̲ŎPG]PW6{ֱgYZ4f1cfe1e8cc1fc3057a473867978ba4b951629dec3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c