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  4< / Menger:threads=2elapsed=10.196cpu=19.072gc=0.592factor=1.877zXZִF! O]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is9p.=~>JHS w_kյ4̻G3%P3d@؛gpndj^m M3DDtA$J)-e.L1Vګ.jܚY`iޙcp}v"y%e Fi,ԟws`k>:<]`- 8^#q[?!%a >6">!ZR}"øͥ}T$i;gTGO&.geAubT٘5p(%goeqv^5ACSLKZIr3EZƉa4',}   Menger&7]q\l?͑kȹ6}{wpxeO+p`܌g4~D/q1w-\mH, [`w)W3*Q҆ah쒼u5˂on`, qJ bnlgkͤU:&7CI#Cc&F-ĎqzS%m[m_ܻ8Uk'oEsU,_K"ӪI+ je3#O9 Tgٙ:`^Ì dX>. dp w5aGbZ揘DvGJ)|FFd-8S2P]]v\fQ>r4B,3(\07SP ?Jψ]*(:^s|)nr @ IV`o< Kc#& C0vuA܈4s^uĮA0T ;ctEݱ╇\@]} K`?,d%=[Nf4|mK4h\vnVtp@?e , ěfl3r. BL(r=f P-3}lg\'D$jڣț࿕бoS:T'kz^葚ۍ颻*]l0PPbnpsU?0,IARf^YI2(~/\0gidT ?s A?_8"o^;$5zoѳx X mW[ *5jk*AoctpcԽ?t#I|@'GxQbPH-4:kwn%&+7;>k#japQq2殘C;Yz q ;X]2BRo~EٌL$hiS{qHY\ a*j_&DmlÕqkbl7z :ji6h/h Ktxκɀ^90m#2<4)ts=Tq͔p~^uqʐId.H;p|p;8䫂 2zLv /pR{0Մ ?үDzfuG0]'%J.`ww]ܾ9-~,Z/ '_Z dm#ɘNOLs = ?K1Vy܈Z}!x)ztmq I`c[&0:.K,C>1q\1H;m6kGq5/`A ak+Dͺ}:^cQdyok9v Wu oK_B!8í-29$ DHhq/+5 jp=G3͗Zk+-jV\@. #ml; Vsj-5PĮX窂_՞lJFw+VJ= !,L2(:@fZW;qbI%92uqmtY.Z1*ZBjGV74aM޿[I`وFBcFZe0Z_D>4:ayh"\.$8 #Kpmoh?*)M4m_3NYUqA'4B 14!ٕc "g"m-ie*F砕 8І 6&x