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 tt E <, ]/ Name_Carrying_Type_Inference:threads=8elapsed=9.344cpu=44.740gc=1.762factor=4.797zXZִF! <]ŗXf[&x8֎uy/DȪvBa1cQ\BE]G޸%ę q RffE׸ZTPmQd^2!QQ-] bccӧ薌]RJŠo"{DPq#yY6e:F Q)t{G'Cu<|KEB }q+AL]QitM$P1;esPuJs9 з32^Mjy1C*x_d4lrjK1k i5y ͥãǘXqP}'.`@XIh8e,bzEzoHXh%[_̜i3<nxökqP7q猄xBﷂ ²'r3v ĐB)e1"T|Tfa%HThUpGCl*-tdz^20EM|@=wrtIzz6 hdhi/eo5 upjRw"RS_i+>z7.#ݛgyUzd_|ga"ٚdʮ-olSG:?F'5%"Qn!A Vs`s6KғCZ@qhxG՛Z'[钃" :=p&rmM6~l/j?K~ V>B+֢FhXGV#*MݟoPbZY";,K| [h^QT {3 9H@(ТdX3i,d])d18.AL#N((aSOpf:էckvNOe$cb Y8 `1PG6uK@+ rZij7Hƍ,\Pu3uGB}T!ʫ=}-T1\ʯKl>ѬqSvHMB562(&`|9[?rrzOyBǂE[l(`R8B&8Ty+院d'pk61e[f 'eu༘rkb,Brp*9'yFs7a|LypJ5& ~'S(zw/ĸYTR)eBy C|Rz$ʙrE `T}[y34_w݅w5ʢY"c/Mԍ泥kj>5 )/XS+ :4ա+hy5s]0+OV [iMR'zܰ:_:i[;_M˙=x oklJ6/Mc|~gaSdq,lYlE݅:bz ʍIdرgYZ4162e8fda0e19adbf05f322f31b27cb208763a0ac58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b E Name_Carrying_Type_Inference