SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 KK2 ,$D ] KD_Tree:threads=4elapsed=11.246cpu=34.760gc=0.468factor=3.097zXZִF! J]ŗXf[& صfYÙ +7JD9*rgaѡ+SCe E.E_tXڛ:ohGr(q;@|ӳԗ W4M 8SIHsQ5a%1G^Zo!u:+G虼ntS3E.V\pΑ4$`;s R:eB%06vޥG#ezW"y"+~Bc~EξO%c#po~C{_ϣ_o1S/=Tq%kpp\X"iG~&=z_"-j!8EHX$*^!qHxT9T^z;ry[ՇtlOrW|K "8D8ћ>4\,/D**/c':z oH5!*5*Wpct:* gYZ7zXZִF! ]ŗXiɟ o~8=%)∣SG#QAVYz ]u{x\v7D<Q~}ۍ~Ń=ޓEO25/oJF A9iSswѶ_)''L5gYZ7zXZִF! S}]ŗXi%ES3x"- HQ(BQ[W^Ov\vkΙxȘ45Iۄ~8"3lvS ^Pme y*UEs"n1\F12 @ʌv(xO=l_0>.$2"3ȅtCV ': ީ7*l~ )$q qpqSQ ϰ*qPR$ӣ^rwjxcWHiCMQ`e3ӍcQC@SCGtlOeJ MEB+;fJJ΍^L'>M`ɝH8MKx4ܣw_(7[&iχI ""{b="">光Ĕ>1ґo1t oBS "pm,$8Qh6R~K0u jKۂG€?֞@tvWMq/W|~`t.PEzUIG)kJWWЙw%hׇC>Iêb ݐ3u%nr4mLZLn{>/a»?Gt_^ybL9&skHo-o"$T9#|7oҲf 7$5pE32P0'Y5UL*Je6km.8oT XH`Ե \nJ*hmkMJ(0 ]2U"F Z3tunu u–W< Ya|Brz'?l{҈@Sʴg)\$'|ۍШX9f^r̓|=K7G]+NY~l8) % ӽc.7!.6RI3X[^V*>t+L,p,l{%@L),3X u^v9oQoOCq*Xt:qX{᧥ z~!Sd6D#{̧r V%r߱:¡sc&(ysĨM3b% )ks()``4OO_(q-96]NvTs|i9kXR<&@wTVիz+A &yPTl"ɏa$sZ(@䊆tƯ$e3rQ޷r@HC VDׁ^Q?Z%gVe=٩o%nx.O3!5[΄l*qnB nձgYZfb822fcd33b96e356859f1ab087bc39abcfcb18776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 67f05decf74060bd53b8c85a2d4740f514905266   KD_Tree