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 g- < ] HOL-SET_Protocol:threads=6elapsed=20.142cpu=87.580gc=2.676factor=4.357zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaа`J;}/>{[H0;Ij]e2|@\N#''KC,T@QgVN|>F ̐PhW[[04-লEڭ/&{ܤz/nWe08 Rى("L~^=K6%ˬ)=/zR+ mH__dpJԽ'ꞩe.JsBC}hD0GKs¥OK#AM`rf+"𹾵,muzñG۹%N] mFUnS9,QGv'Z?K\oE->ksw!ac}EgYDZ\X|]sw9gc(40zTۏsHĜڊ8?sLV, kIquI\z)56Xm؃V~Y,ET'Ơc%^&~yr˜ \ڕd&?J*ܣ[ Zc3^tGul<oQin*AB6,%.:j!qu HБ ywYF YH +y~..TbZh IT:=ץ+r>AyQ6ύ6'.E nkgl =ld,2ɪQR/1kzl 3)]tLd8{kV>jr Kz0 PSt]Jgs`s{OG./y4cO,ʀ?p/g|u\q?ڥ^Ood*k~> &LJS$d{M%hM $ fvlYſõӞCU.׈ jd; mkmy 0 c0%^[w %,8% KIu7MfggShGTm1Y]o~чa^]TeSЛHb(V S2)h.@H'MC v*AMZuqEϝm"m06MW~SC/5Ga8L؜|YU-]k6U$5s4[% *|b0dxu3|:ϛE:ݛyQw c/K╯姠Hd,x1!rr 4x\HjTn ӕceMpI'/lGGBL֬sBW|NVMd0\?hG1J=hu U@2Lru30j/n pAxcQzl^t@9M%*;YZ6:G@Lyx;M(85EyeZQXZNr"H9v_ҁilhFPߣm؆v]-Bۅ @K[(Ϭ&jB)E497+ Gv L."Ȉyd8 ҝ޹˒0#BitHfN[&mT0>YY#T(˥'8[pnxJ?+e~`Bx'l;v3 65]PQSˎ5ޠ493)4z!M ΌsVMHkW(X>::n\sK.VvJW|wY Z9œVt/7$ܳ*h&6YE6(m*YHwoc,߾H%q!;V{ Ļ@tf-J迗 qkvY|1YasgmJ{&4>Q^  ǮK)1d."iWW/vv_>8Uf/@fvd"[lp~b)g %t Tιt{,Y0gt{ 3ܪ'@Cr J"IтwV ,=A^1Oaw |4Fu6]J+V-wXVrmj$y/020Rl {^jmG5*No)!f} eّaAu9ܽsiCF!UxuQnK ^8iD$ԬpsB˟V%4dWdyϨd/yϯ0ou@L6y|N)SQIƎ+Y0@IM`[WXoƄѼI=Ҟ‘űa4@D:`oȼ@3HETh\|R-6ms߷KdS i!u^ 7,.02d+##9bI/MwILM?4=* t,,JXbvB4[3]?׎cl惘ՍK`yKoH=#s.QRs(_7. Ї5画>Uh|eVI.M(f$gYZ461a67ec02667319756a4ab4f03061aba4ca305e542cb8bf72c64bf17ee67b940a85e2465d851528 06cb9253274f1cacab108d3a867c2a08aa7fe5fc 298f1d24894815e1615775e30865add7154b0054 - HOL-SET_Protocol