SQLite format 3@ . BBh77otableisabelle_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 gg1 L ]S HOL-SPARK-Examples:threads=2elapsed=17.023cpu=27.800gc=0.648factor=1.637zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)u4Aĵ\.KvuYkK[HYnHK&itzD9IͿ0n*T/H gYZ7zXZִF! F]ŗXiɟ1'HGu C),_=g~ {^}恇|`ԂyÄ@katTZ  |Q[g9_KF(rÒ&gw&uщЌU*]ROWfy@yTKKsӅE4<>եX0׫+e흣7_|Sh? nN|(|mW- ފV|K9Uk.s]yhi'bQRm ,lKCGJଘ׾umgLGu Ԅˊ:M*hC@ h|@gYZ7zXZִF! RM]ŗXi%;iD>+{ {G::6 {e`DKk8Vk;RߛL!0mX2x&8p$#2:ItNWPP" ؠϾiT|1tut:3ə͓Ab[0?9)[=Nː} ARւy^_I٦EU7PP'ocr ^[mZMWe>dp C,t_˾$nδqS]2oˉEA,R FAk;a]AP&h@-5i<]^-/uhЩJ_8ɢ|Q6! |: g܊29͸kJu٦ sY[*]f=5rêi q\!1}OAkǦam['C9o0-ĜWIGXobpw՛1BTsN̥xgu 4zt%t5KÓ=uc[nvv\+Kc 1 W_ bdw E##<^hJ'vvR7ڂl$9(u0@ }b&pf١ZZ|qIJφ ?&g/ Zcq IsYuқ%q3rl3}s\M[웰1FeKע=O q/BD.Uu%LKة{$]Y]zc{xt<zwLe\xGlKg0Uf|BDŽNGJô-JrCѶU ;~+'-+$kfU|3 4e^!D5"փf)if0U$N5_n0 ?OXvFGA}{aN"/;_Pbq;}ٺN: z^Z"IOv3R~kE0jO&/QSn[2k65;̍Z@Xށdn/ #z.|ڶNvX Τ07AgYZ72c3197b13d7a9c07d8758168bcc38d5de6a6330b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde 85ffde623c06597c5362b32a7ed4c71bbe467ef2 9113e5500b599aaae0f5a6236649e21d40ff7609 1 HOL-SPARK-Examples