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 5C 4,d ]/ Median_Of_Medians_Selection:threads=2elapsed=16.484cpu=28.640gc=1.268factor=1.747zXZִF! cR]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmK?w{1#bҪĠ#.ydܑaysQeRWņB/va,Dr'ebĖ`σ Kt*"(R|VQI3f+IJy\ȯKOPBq+H1s%kBfIPM$261Ko7>&I_ M?q*WEj_Jsӓ>eƘV16cK){GDא4LeG7i=(xL"Dwʯ$@4$֪)a-nhGR YLDBq԰TqzKt;!3g.SV"&h/#\/3.D/̭ DtClgYZ7zXZִF! ]]ŗXi%>gJ7e\&59+onJӞ 1絜vĄƩYOխ⚍c3Qa'ena3Nk3p@:l3RҽL$r#=(6 UPuX% ؐT:nE?_󕓂{oڤ{FO$]~4Tq>z<TjJ_ fÜ?}[q y4yc %R0~/.ar"w $n@JӍHDY+)RaM-ݛ?K[QX\k*f܁ SG%ha&@Zny5/L5`Ic %j9=# 1~ajo0MMJ1>CT >)g'dgmtU>6Tn^< E;_\=6qQC>θ!оPSR$f%4 Te[