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  < / Menger:threads=2elapsed=10.695cpu=18.848gc=0.520factor=1.767zXZִF! ]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is{֧ LaÈ;Wz@ /Vt3]QS5~n9x%e-V w=Zv`kCeAAnEhě ,ՃSYP2aJ Jy0 ?j7LWrq2iD6=2*n3rcϡQDc\ёۦHvT `A.Yc~ -%uho߂8ڏ<&>`ju?Ө:5BuE?No1h&܀zmU';V]57lϽ0g* ,.V'Q/"OT[Ґė I0,+{{ %u mi<L!_2p]|:}QTH(c,Tg'0:"+ޟtvT'v:Ja" J4Jc+JH۱gYZ7zXZִF! ?Z]ŗXi%O+!k{MAޔ#%q]ʰu547CdAɄq,_^/TQ?BC Ve$L_٬:*BlqeHDJ_"aÌl"68MדaHdi;qpKe#U?N5<Ʉ]yfz{OT 4w;ÉNk=TY-`?Gx1'O ?ԉ8=s}\C|PDs@mRupUk<;>Eηr_ o:A/!aoFMHn,ѻ*aʐ"qOƒR9;1oSq袬i1X顮HU]_K:YzV"Hl)A@3yi1Q$'`*Ƕ!3 IcT*X26DBd<;]u*}m!֨τԏ<[7z UU̟=Cd#Zf+q."56nAeja} @5.t٢lPL#&3DU" p 8cx dR3\F mɪlo@֨0߻K֭+yF !<&Hb*{ ܱ}xUg@?.= !0ds(ٵ׌5E @=ip(5A\KJ}7pq1M{ݩ=0f 'pZ-cmH'ZfTʐfoڴvz/}N%XYWM\ݙI:ev96+FP! V(lM˗̀R#.z!b6+tyIn((.a1&k=7IH£I\%m}Lo%Uq@F<jI:Gzw5I0N ~s{gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa   Menger