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 \\!+ 4| ]/ List_Inversions:threads=4elapsed=12.693cpu=40.728gc=1.536factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F` H_V%Sir3k.9GHCnS ewަѺ7ga4/$0PxKN(a+7PQnWwd=Ei;mJ2w[W|FG-@hERwdd-=ӱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd43{=9펋b@8/n~LN}kX_`XtJ0?؈|b1QͶq,!4P|Fi`yΓc-J+0'v ڻ3~fG2HgYZ7zXZִF! Ybw]ŗXi%GgN`)їʀjZj)A|/..FV<:sBVK;ԧ%'VPc\ͧ wtcܜ2hfg6J<X(zGtmijixͫ9J$D@F]uyj|a t!\rw;77EsΖ.1]90y|Ymvd!U>C]y.mJ?Tiߺ)ÁRwȔ{fF3ҵSB]uwjܭC wn-{Fp6s2- &$4I]@7VXZl5S :$t.!M(x[cw_XGX-OTM ^Cf:cY+ҩd8T[ - G: 9bCfki{4-r>vlxEMI8諓Lj\ͻ򾪌7ŗr9NN6@ꑞ/~(*,s8 BN`;ӂat^49g$P#AZzJ>gW5S%(6C+d;S#ciIyRJrfB/?yi\ N#H3̹҃f3>7g NEǮHyU['%]6j#Mϲ7!ZnRW~V$9ZA,j}#yi<ݴp]MvVp9bm= D~`F8W^֙:#\gcㅦr ͲuR~z'َV2T01Yɩ ig:n"z5 x^8ԅ Ɖ1č+G(PR}yolF7x~{|'{8Yank yY>(x G!ftVll^e)}15jQjGg`ɜe98s`ĻҞPrqV{Lnd1?D#Q*Kn@ bo7wr?goF" ˠ-16ZR'3rH>oMdHGyZdC Xd7#obg h