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   ] d / Menger:threads=2elapsed=10.742cpu=19.556gc=0.668factor=1.827zXZִF! M]ŗXf1-/6vR[Ɛpze-&+9,ٟfUb ,LP&m<&#kW(*tK$ (G5$29erEL.߀vw2T7U]SZJLK+!IU2 ,`ղETWt.+ vKtE$@pQ VjhNVGZMX֖^gO3S0+̡1prݙ|A=bDPQMa,mhMc(/9=&.>y B9>@ƎXy3VQ#)N|C1 Q-v2xX" os:n3#_N"BO~Jj2qX!qCXhyeegzVYoٵgOS ? /a;67+rJJ:~0YIb 򺼯8[wfLn5D= Mf51.#0gײ%J ' BIgĝ]hJcR~t[OP%X껝O_'j+˗?fWV_YDe6un&s5oߒD9h49~ASTl#\DS^A3=G#  lŒ'lzJ:^Q!UfCIqLa"o0!4e0UR|X֙kf3eRiΔ4WV!jL4z!\eAɮrQ9b^LPfTѦŅVC7 C8_^5,H-d"\Y+ƼRW s:ӾIp x+Ц[ .p*O_:b i{Gk\N-ܺmįӬi zH>bb:*9ylu. y^_{,"ny~%L|q,߆PSA{ RNaRHߎ_a6YnBedg;4s*TLBjg~0\( *~RXC8 a[‚a!q 戱gYZ7zXZִF! ?s+]ŗXi%q*)K`Q8m"k'4,r' ('j*?3{\>zc~fחlɚ 'rc{ E1"BHa\Y&J_h<"vԕz' x|ۇxy#Ɓ5Iʨ#I 8E\e PD̶0;HQQ_CCP~ Ӻ2mC '(&--/y\/)(ѾPRdJ~Y7x0ڥ4Kp씜KĘMђV:9in)[p8nfascwR͖x|0:b_R?23JZl}HHK.VXrN(R)5v_zf$"3L >,Fe5< UOŵ, m.h JvpmV(p济]yBZhr#2a(Lpi6Y_ aEI~38 lr]~41R&D؜ +sL ,F@?S 4(|T1]VIj.߳3WxǏdzssS״J46,u4-3]c{Nɒ'~VLɊa~ڣeƗEm'M=.tTpfVT# `\&.]Jwc.L%C>*)4! MyP!7e E]ҭlaL8i8֙h ~]*+#M)}93ak2ɛ*y3|'0 GUv[U7蝟ؠ\;xN]3Vw Ku|'EH9o4ZZU\<|omN(O.djF%Ydp$[YN9Two},] h RJ ~R_M/?:5']!Ob~ugYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9dc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8   Menger