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 +1 tD ]% Stream_Fusion_Code:threads=2elapsed=17.211cpu=30.972gc=1.540factor=1.807zXZִF! "]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R&:A,WAeІteĆ`>@ _]o&mnvOyImlN.ua\K!U$.O&MǤQqʚKNIͷ0R#HD#"cbYi\M-cNU{ͨ2k`w"uPAJ ۘ$̛dQBڱ4wɶ< ҩfˈqaCWk1' Q{\m{sJO6|d1"Z3C^%{t衩KbHμsJh$9<ǵ*#EW1Q'*MлUo;\WU} Gp6fA>)Zelg{J&]-O[*684?3h1'-B+2RȔ4ЁAN9xh FVsM$8).4RwԿ-5?v+&2zBe5C/CB;R`1 +ח⧣ۖ] E,V6~;9JpjiCq`D5u!dJ7PP&?)ct)y'նoRs)!HG5Dac>9MMW{bb61`P}m | enݨ8<~HԐ*L!5 =vCmv y=w(#[ O7m.(.L)zT [lx%svd WI׌Dn8(|$cN"@v7"Mj`@4!-SkbP_!WW_~i6)/]%Ix"tS6f6A+goPU"w0_bn k-)=3GA߯YջX7UZKx3YeЌzۘ9D6jk}ooȫY&Z[ kHxP}qRRB FUhL8`1իYhW>.ڷ/P0X:VZ jh&>:*@[L^YRCi"s ; nmƯxR c@O/32z[%;_{˙)3N $?gZi~-,/(2bxT^eVn@<#*DB'l~%= NI;nz $ҾQfA'&PO. *A;yAl iNi9mdpvŠvTrtMkhͻdas[w"[ IHWwT@utq=Dy~!1ju}]> ݺrj/IQq$d\/i|UzJZtXi 5<)zq Z!=$5HR+mhĻ522[ՠ5pOp$_3, ry&=iqcKWA6<=LɐxDksR@"͔M%/ }!6V!YW9ٽaE 3 Ed;+"/o|3' -2tQ0z3W*XJ4qh1ei/έvZ(@am0#6;jYX;&Y\4 -c( A}"vi~   FgYZ5dac76c162fe22ff63bf4edd5188b198dfdb91a1d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f2 0a66734cdb802077f37c1f8733521e1eb5899e80 ccc51e6b6f279e198d4a2ee3b61adf8e6cbf563f 1 Stream_Fusion_Code