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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info u u 44, ]/ MiniML:threads=2elapsed=12.205cpu=16.812gc=0.700factor=1.387zXZ ִF ! ] ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4p-5xxBv#܁|IV^dD%*~9gQ1BӆGU[TcelN+DL {#ᮜ7} ݪ fåC`4c٥Jo"ˁS =6F{'D*@n["80uNm7ŸXM#\OB[s#AV (L g YZ7zXZ ִF ! ] ŗXiɟ"xS2}YNd JB2lu1!K#^GR!/CY,Ou(0r_ޞ6)OVoO]ΪNv;0^j}S`.>N /0s [۱g YZ7zXZ ִF ! JuM] ŗXi%; }{'EWч ֻ]@|AjDo>0H}1c<Hl'mԅ%;RXi-4ρl6p5-ܻC|/z"'-Sc)[ n9Ĩu[p7#f=4x$XmSHʁF0w9'}L?+8ϲ7gxC';FvLyI@YUy$tTW9<@xܟ[SX ǚѮc\ڢXeQ͵=Z#gJ:Y"ֺ'Z^~O)W{](;Sw:\S1|WmI3ӳ}ˉ52\ҞΏ駰S7}ec9̼FwC]G>.Eg5t/sM5yʰ^xPA0݈̿aN <ؚی-w(s7,2_V ȢZV1 @Q@U6F,,n$篴xq GfCR!f&\?f-DA 6PW1Gmҭ%?-t1Is c;cNvk&ے nרrZ;h[Th9Bīf̊mۖ90D=&CGzBYy 0!t؞({>.ndN59[zK