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 c5 $L ]S Lam-ml-Normalization:threads=8elapsed=7.824cpu=19.175gc=1.063factor=2.457zXZִF! G]ŗXf[& n>x렏☢1DM<=C߰U`d pEܘw"LZ%6luRRvv`^ _ud+ē=uVͦ3@/ǦHc> ٪9̸:z+3/=dAEQlM)SA(֠ rascZfI&bt6%Յ 9):DM2`fc~XqT'ޔ@ŸBǨn\`!$2q"qժ :Cv[|5MgYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.225cpu=16.864gc=0.756:@(TiQՈ}YZ7zXZִF! 7]ŗXi%>t}b ˼K=@< :Nӄ}۔vq)Kän_h7{\]_#3 -˽#YS'=Y8,Q.eB՗f6(vo?5ڬ̷:"«ܘ$HQy卵ijٕ>tC21v߹5mXEm^QڄЂΕx|n'I@`dJRNwlz7dKNT)I0B9џpLb.bH#n@ܓOi`طa[6úQE8(x?.3hHV64SuL,o cVtBD1K&Qm:g$w\+f~l@T)I\!~RaSY2P4B}|/u|jkl`Jʪ4rf7#nzX=o6XџYf<o}ıgYZ41edc588862c4926a86b50283d8adaee588d2cefc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 078f9f16097585cb996f732a9e1fb21e7a5da4fd 5 Lam-ml-Normalization