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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 3\<4 ]S IEEE_Floating_Point:threads=4elapsed=24.430cpu=70.088gc=1.288factor=2.877zXZ ִF ! "] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78 od &Y pV[G)Xe^T7qQd2'v4iѦ' x)\10*ңA5ɷڷ qSCpdq,͕)c1b!{{u0E";HnԼ@1̰S>^F\YdrO]f+ƖT tnPX~~lP[0nyLofO<QLSGt-8ks 3 IEEE_Floating_Point q q 3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.ML7zXZ ִF ! {] 9 !kH ڻ70mFV'E q + %ƪ>h ^K5ϔѴ.iɓP:hդ T &ʿzg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד.A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PNv<ƙvpn;S*G7cdU=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/sef}ʰHZ* @ lN 1&g YZ A3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.ML I1U.:C:oAմNJ8T(!^e3,S 1heu~\{-k52+a9