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 1Dt ] Knuth_Morris_Pratt:threads=2elapsed=23.487cpu=45.104gc=1.344factor=1.927zXZ ִF ! [] ŗXf1-q恈͐7ӺV6 hD;V& _w^F#4ZMKDź"̍:urFFnUh/0T>s qGAypGI|ot=M6]:7a*(@er:eD*cD֬`]Lx #|C{v5|U|[-4l}H$ƊW݁6#qhdENmY>krqzu!zl|hy ۱@Ac=L lxK,vUR&L`Z RUꇪԯs3SFp EmCa{( grFS7^bOmDgl_[̣>sI$ϡ:NA.L>oGټ,Qeg^Iz〛sGKwceGb:7 (Hik=#=3ҟ7rRTC{Z.9 _-=|@<)&|\P!36^U&&B7kp@$w 7%"{J> qͽUjѝl OI ' ´{g YZ7zXZ ִF ! t] ŗXiɟ1˦r>yǬ -O?3l\ڧEn@8{4,oR}@ll.*{1e['=yЪ>}L6 G