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 ] Knuth_Morris_Pratt:threads=2elapsed=23.182cpu=44.488gc=1.324factor=1.927zXZִF! I]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍:R>|:5l0VL": X"c)[sy:wNJ+)&N.Φi% gYZ7zXZִF! q]ŗXiɟ1˦r>yǬ -O?3l\Ҳ)#ee 4pX5E[`1Utɫ)lਝ`xWJ\s !RMd!ʁGױgYZ7zXZִF! j]ŗXi%>gf!bׅsywT\$<8;VV!ތe֍F8u?[TdyzrW, N,4Ua0lblʹ-0%qe <Ѕ|xB_*x`tP%' rÚfN(F"8riLbqIIV[8% .:]NPj! ~*#Z,2 ISSrw}R>c3nܒץ,! ޿t@f <6uuA[蟅_vM,S]C -WG ! ;ɕ Q Iyeab%+~vnI#6PK4мzk! L$MT@]uf6lD~ _13G]A4=]r٤2&/p0s  qz4. - a _RsEΔmʱV´o1NP*{im+P)D&twA*nwf]`"bwh)z}V/wo߀YeZm-FP=RrWy-4J% @-AM8^VDQEk>jD)]rN{}KL= .GR X.$k6[";;÷6BBNCDp?i!7_9]4֮G-*ֺsTPSj;#W\ߒyυI9 eKPNugVO3ށp⑃TcfӎsѥkWZº%jƳNث]_;_TmP].ImZn% V[~6;٘OGraeIJ.j @;!dr$y{+.=]Z6'e7 n3Jyɦ5Igq~ tc])zAfl{/8"T.}&2-lչM#֪~2I\q^|Y