SQLite format 3@ .  YYQ77Atableisabelle_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, "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 e | / Menger:threads=2elapsed=10.985cpu=19.516gc=0.508factor=1.787zXZִF! ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC1ҴWV3`- ;b5^&5=^2v8(isn|g7Ad.F.PUHp$5}|J϶}&zIcwUdUĊ^]_uHD 7l2r8G aɜ'QVڔua./y&1IxX_Nt9!!5@VHH3 50Ik(ϼ&ӿXdZf6c=k45eADG֟J:x? 9 HHљ6  ^wD|Iucise{KNP94?MBS`3H ȵrlf˙(@GM%l8H $9P'G 3QMȊ(ϧCvΫҗO:zsgYZ7zXZִF! A]ŗXi%6uTVBDA쵆Ʌv ثZ=8G)d )b5t6brn"G=mQ8C"Afp:&,E]O `nI//Ŗd$y.Y!mu@{kV;}P@|mvĞ=V*;R߸.ΚhsWz Ĺ0irQDž"tĹ&nߝ.eQ 6f&nf:o3T(@PW4#-w&=I*{+S;N _ ʇ9ze¿ҕlL p}~I,`=x{G>ZDGnt<zKSί2'SP}`b¸`2(/k!oUpyZAwe f31uey;жVolbsj&~ڴ fwňô0JFfEbHoY,Qaym3,ǪsOVI= +_֏I A疛+Dcᡁ=-,Pʃ gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9de4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d   Menger