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 ::C7 \| ]/ Weight_Balanced_Trees:threads=2elapsed=18.652cpu=34.620gc=1.548factor=1.867zXZִF!  ]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxɽ@5Z^ٝ|stɵ9D`CB=jAfϮЌ"ŠWΩ 7J]J,o*giPqx$,ͳ3â2>#l٣rHhFkwdnINF[#n_7SES_ `CU| J6blkw; B1Nkt GyԾ8SeZS$onh3j4zD';Fݺ4kM*$YNt{n*'OCBo0z2]P80o~/r"zmktuΡg6TJb.Y`\b`\݅2EQ=9gz1P?OQskMUMʢBwLjV OɓNe|F)磂VSkHnAu@+KBK>XK\)!iDt9),"JQA)Re?k^_1OIV]m Y2Jc"e{$ ēt:__?Y1AgNeK]DM"cDc:q` L:oOҽ IBųT¬֎/pr:2,Q/IDz.I,M"mT|Mbt#N@J$c.)g_x2"|i҅DԆS|inir:M7"yglHYߨM<ȤaI07G`z oL΅q F-φKS1@u|Ҍ7'QBti3d5N *[.Hd!NlayXQHJ6|(_vԻd֎j;o:[+ж~M[0!K?0 p dM_ KٜEre$S8PIyԳm#$d"c`:R>O.+APC,̠zAjӔ*݂/k71ОƩ6z)y>R`]6Eâr&hA]GrRHĿp1+T˳Oʠ;Ay7qr5xKG $JOF!x>ӽy$HƫVFn|a)rMۯzx hwt;68yLK(ںeD36^*p)!bЧ%$7q04.9-G}NuDAuU{FNrd48drSa]s b79pP`s: 456x='Hmbo$P;@i8[X:\:GsY~X<a-$Q;f,lS SDgW$9S_3 X6 gYZ3b27a3ff7b821e516b14e7cb53b62448fdd13c520779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 7 Weight_Balanced_Trees