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  s- d ] Graph_Saturation:threads=4elapsed=31.327cpu=82.104gc=1.896factor=2.627zXZִF! +;]ŗXf[&Ddh_22\X|"ˣ&Vx)In<뭁x Jnܢ2Iz ޮ; tQaЈ1"KAZO\_@i g/ ܏q~2&MI )H{7j"6z#+qA@I٬$Czr:}}:A>U`e4o+%9|FHia p >ꪮr$IȞs#L^I,^xn 4LP- UN 1 pnY`_Hn1su:Gò"[EbTu35Gka"yAYQP)Y- ,`g s#akê=8ԵiP>"d>Й-m^ u24A 9E2%r&#$Lz32),BVϽN]+Oe-7e|7hO@uC|+; - Graph_Saturation  Af/@P8q N^v 1YeIei w;X(1Ģ.lM af *?H BNt&QNWEU'(ѐ>QtLm;2ſpR+xi多WVwHϰʣV$M>.VpV׃yo'vy/qhw[d eI3oї4v=&|-zfg=J GD'. 7TKg).Z,׃KEK\ l{ތ 7y(8?ztVSrT%9r &+][2w&i&QѐhmQ qazUPK`OȺ:Ax<z ЧIx]&Ư|tLr{۩t=rW[gYZ7zXZִF! ]ŗXiɟopZ\T3j$4f{N2PTx[1NPպV}_P9Qy^$OD:xv7$qdntl&>qCVPץ3(W}V XXhO`9'cX@MaGixfhЛU͟D}g  $=.rz 840l-aԛx<ؤ[ygYZ7zXZִF! m j]ŗXi%GgRϏm=g؊-0CœyHe'J^}a{rt#b`MH'`C5 j"~@CǸfQt!p|(3oFEFF3g/)3 n&[&a,Cdb3bW|:5z^k~Yu W {F]ڥoj(ԛ-L~zUZHSLV^,z`ɋ3uG U;ASRZZ Ul ~Y zҳbdj_<{e$|9.fKbԂ=T$ũ~h+%;@bzMA]/m:MF D]شms6A iA]kK,4/^9Aj9"C]_|?$cЄ{p.jo/@iSߔc/הC]kk Y0(5dvWu@%Dv H"wU<8-Iㆌ_uz:xffQ<~d%QN8˻p@U-Gp>8s-xkNC.xC[nV_a>Z˙QUD^_)hc(=pmcE=2jE }W||A{ ?`v?Qa59,ZHO{u~%C䮸M\4pӼ5W @;#ת] yL=FF3>gPƋ<)La_l&XLhJ |D՞-p*Po9Ik~h8ˍ2TgaR$֭&#d ` }([z\1$m-ۍB'dazipF =]w_dw7lz0p"`#FWKa^_9 lsO,y5D$?TOV_7$09Ứփ/xȈIQ*%653`Q/ۤԫu/i)ݶ,0p`e:ڈפ1NB#ЄĜK2v&ZĎglz(@7IX#f gu~E;΋Dl"I)* BMhg %,Gl}&[^A uniP#\&Wveg8qs4kN촒fb'VS3uWR,)M_m\@ue5/ B D҄'FGuX~+s}Lg~H%QsQBI'BZӑH=$gb'egA%웳C˦x +B r'ƸMӢdhs-囿t5%OEŬ qAQ2*ZsaݵC#k^a&y.̟w`k b)޲/cl5ՍydJ{w߁_;Mmd]\ֶ7KyXjnSΰvЫu{Vwb SdnM} 8i6D&Q^>톈ck"XZ,d]LtS\J <-&>cS(;5J$0w@jje([HXk<4:ˇ\V@[rMEI-9 9Fo_g:$^vhl!55rOp;]Np