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  $\T ] HOLCF-IMP:threads=2elapsed=6.583cpu=11.356gc=0.628factor=1.737zXZִF! ;I]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSuWn01BT$TS-~m-q& %1^?r!툵ݴTgF߹5ZҴT-s&qYUɷ- u5|АRd\+?*o1Ć@"bǪX0%AUZ*ѱh4h+ϰc{BM-Mq>;iu(1(;B<m)Bt.4WAk֡ٶXniLz3FNǺx(|GL/5%Rh7&gYZ7zXZִF! ]ŗXiɟ1,plnQBmjszԞ`jg2GSs:k ]H5*K<6˨)w~=( LIx%eq]DJ;$V,!Ĺ<VѾŠP|}vX&*l];OvnG3^gYZ7zXZִF! -b]ŗXi%;3cHR䷖Aa.JGH.$:tWrs zޢ5[dTD:^Nd@ (Z;~k, _2J8+"Rw ?YBtu+*[EcPcBTbS(:|M^JNzE#̥t4\$( s2h ܖxHpv\2 NY`)yas' hQxGĊQ I)]xg}'`/7_"LЦdn|\Zi\Ee3D>QZe"<:gf4rpäO%U"ICS+Q4-< }oSƕ&O2֗, BTV5'W/3hEztm3?V6?q{?}~;2]L!zRKN siC@ b39b#τ'pZDSoqX,b`G.9+&%VwN}JE>55#<@s콀~N?GJCO}aT[Q{gYZc894c97cb1df6496f4975f5e4713ee3410b341c361532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 670ca3b0c6f16e44de7227000c0ef63afe050894   HOLCF-IMP