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 @@=C $4| ]/ Median_Of_Medians_Selection:threads=4elapsed=15.168cpu=40.328gc=1.340factor=2.667zXZִF!  ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\/xoChrᛰֽǚ8̫T1Tya?\ze:2IY@gr|E]4 }9ZIZ-Gh3˶U|*Vg^Tfa08mD E!<&O,'<6F,d` uf =&·q27\;g̘ޠUxkv:W!6l^'}s)4.Q4 J&᡼wJ ~ E1x.%]vy/4>EB(r7Xd똭:m"24īk EYXU`ﲈժ]7&)w,> 烻]EL>s~{'3 K?s畿I2-Q;ͤy}q`_Ԍf=_U䄮8C"N5l&n4nWmˬ c;>;_=P;HF//XElÔͤaҮ;ѣ%= od4;BPUJjr/#f=!&lbwSq,!1][vTm׀\48;m(rQV {0Y#u\aNF" !4!d8FYk\^ z8+y "S_zcÝt9!cS]*C6q.ΜUÈwRZjyY3lSRINB&w>R0x$;@|g'$ƀ!@ Uq`u~`P$}TX(A a,1%oڴ%iz3!~iΣk