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 NN/ L4 ]/]HOLCF:threads=6elapsed=12.960cpu=40.900gc=2.344factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{VCȇj2v۴BQy 7 c0c;+#V$ {_}0{>.)ϝWf%}?y7Wq{|;EC7έL3q& I0D8Ut8L*0y%Ob(9G ;aw3L_+C;lSORtZ+Tz]wWS!?nÊqFTv'Y5@$j4+:G1ltQc07D_F# ȨZA {;H¾@E1v;+aA`G.XC B `HNý#WL 7[+-~Y E?_8qiWqSV0Ӧ=Ƕ+dӄSщ%E 7칗JǗd8ѩ=mctYI۪ZxNȓU#CW3mQ|*o.rK#wk_Ay{iJfZk5Vt%AyIseXw"GY/0OJ "̺/U0Mn=WsSMp:z'fgYZ7zXZִF! ]]ŗXiɟ>Ӈɇ9S2]t&= ڃSIZsNӛTLP4@AipgYZ7zXZִF! >]ŗXi%@hYPsv.hՇe{~ѕ1@#/MG~4QLwO]Ꮕ:S -\EpS_4m3g5o3"76lܩeʋbk~| '7x[&'/mD j2N*e[ֱZ DC><_z1*;%uwZ;BckA =Nm ILY2,; AAqbѠ}=F6W|AOKگpA),R' GȽ QK oY69߈*a-Q4Bx0 p#r 'U~׫5tpNJ]L@V1h#M 7$GH|-Oxg٘ y }:|ĆJⲑt[COetŸ6dp>R+CSǿrLЫԍ_B,ck/䞵5 PDtNJA 2%a 7KVQqzDXbM>jlJ8Ip𠴑)]Bm3Jg`x2ĉS ޽Y?o:+vP_W0O]GǨrN dO\ި.eX*u PY_.yvM'(x灥.﹃29uD6P,L sk}rb T4i1obBTX,P76[2Za;7パa`W$&Mt86jQqhsLV!͇'HrkB C0OK8m"vjyܞ%/s&rER.VR_z!re ؛? ȽrC%NES,?=F+'uҰ ʚ } _