SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 O/ ZF-AC:threads=2elapsed=5.561cpu=9.532gc=0.456factor=1.717zXZִF! b]ŗXf1-W'UTxlFO` -mg}GxRySPf@TKN:19+Keo:JlB(zTFQW.9+V*J5h?8ԲbAНl@]zVݷ ;R hIE>I)Iwd)Vk8,w4~PYUvo> ?]l;y0QFY4jJCW&{~c|pΒg);̢/Sػ:?#?KD;xl$y翄Nӽz3X:4.ڮ"I>;ij7wY9 "Rze(1 $2s6Oaa9Cv[ؓǫ \Hڍvȝ'*Y]BVexVס^':I<3x%+/oF K0XQC?$8<"af 4O  ZF-AC^uxܛ`J 9\~xJUS$ȕ)X{0`#ocRΛAݢ ,ʅ0o_^'M2Pf!5C#8JN*e ޲- q`¥iI?K)R)wzݞD@$u~l)ۗ=yu76ÒYN5A]0Ql9PEd9˛5?M|3?S_,'Ft0R7%d_Lթ-!)@ڙp$~.OœKtz;UkGУ["H xS! p)]r%e HkX ZӘ73Ek0/uYAU|,܏)BH\8D91qjKrݠ!|H;>JS޸K n"h2 ;˿LZپ.F1Y&}땎7K? $IfA u)^[8WVTܼ0e)YڶREOe! N.vГTJWeȷv%":zyMg- }!wKݷiJzl\6J)`}$V^Cjwi@&L7HZ)(.r3]p8*ux7_?#@A%f)s/شcZJC gYZ1afcc71971b3aefb86eb3bcff68952cc56e2814d 3dcbf32a5b201c43f15ff143b6ae6554e8b4473a 3dddc0ff2abf09d1383929a525e0f8a75a6a3dff 41d16467a461da72a422543e447c12b5caf68391 5863f148db56ab09b24c50474c2ee660acf73784 5888623d64ba12e6f0306f3fd1f757401cb3f69b 5b1e8dced20a23958aeac57505cbe89ad0e0cd53 64a54d70f4e10b494bc05b075dfe89b52dc30641 76efaa96c7daf746388df383464cfd569957afb5 82457f4f58caead494df56976f8a5d6e07ac4bdb 8469405c44c723746957315086839625a26484dc a44597aff3d071ffa814710a7acbd739e91bbae5 b6ac791f14c9c5d23130d34bf64cacedf7be7319 bc19eb10dfed3c83b55145c646685284142dcbfb c27fbced03b045d7aba88a83c433aa1c3e3d83ac c60f47c961b5ab563d317645f93e01c285851ad9 ee99107f08bac5101c8e9e1e654125db32780923 fc9bbae489f04a0823db72656f5127ed041639e83269756b47a6a9653987fc2e45e2efe5ac3c9347 0e544d0fec4d3c0b14523399e03591e515f8856e