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 1 d + HOL-Metis_Examples:threads=6elapsed=11.949cpu=53.024gc=3.048factor=4.447zXZִF! ]ŗXf1-q恈(K&Կ6l72`5!!)vE3X"<A ZX*3P8~[]')j#j)f:S]`3p̏k (wĮMQ"aӿl܀yKzparp6"y$x\c@%iR. SJ;ma`qDWk,=;%N'Z6˹, "9?6 :T|r3[k*ܬ#lS)UpjmG8q^ Kӂg꛽ʕord:<nYr(In /zn5*8kFg5OP}1 z;"qޟ7f~p2 ٶ& 8,"ر j&ArLJi %{Jkw%/nO >Hxftؚx>,_ԉCCD*5"pH|bJsV0{'y* lT['ڂK^)D0#(=H16lTo`Ab [6lJSh' zY"tA-]&:C3J{Y[]q%Adw(ϫc`(*%ݧľ9UّÐ+ 2q[jg:y+ȗ Lؚx ֧:kBouo~+ߥ+Mq#& |)ت=7)2 %1%Y%@# (2YDMG @.exUWB&@x j#94mth*|!5D̹S'L#.aCDqWS4kq k)JՁH—HgL

cIN2]eWzʗ낥\0KR>gy^ŢKA)r9q튣Ie4+@zE=ǙsFK'썃7䑠. ]GVsNxx{0r]d޲ʺ>I vZ zm@|-5eu=8jhp\4|YRf4(px_rS^]oiԃhˉ)ԜiVf w_=iy*)xg!@XgAe.6ܳ@=]Jn:jEM-̅ (Zb f(-VSs:~44%*@(XәDB,k߸XIZw0xU@cz* p2:<&\ ^tyS:u C*}zO'@:AT=YﱠVٴ ,ٍ.Kj$zЪRMIĉJU?:\*kffC} TTI-!/=BDj+'vlHNCOeGǽ+/V+ϒGxU%3*{$203m_L܇p4'UԪ^4&B]H:\ L'̓Mܷ pvGL2"M>{.h^"6 (_p=̔ru|@cvʱbO._-< kklZj'XMh:ҕKjN_ tAo'p:ǞA'lJܓO;vunu7 Jz-en6@=]LK6y8+9Wh27'eKT#?=CO$ {%h0x%svX݂ͣBK#EDN jG+MlFu Uݣ :#G`DnڙA ?J2#@Gt8y8?lv*alKm:MX]Dx(2IiàF4wUsVѰpL8j?eҦ. ?78 U>۔ip4:FQ%OFdnr1t߼2xplu^fpi3R3g?zE]uw;`*LEک|ɡ @0? ŦTcˀVQCJZwgq,3($;3;A/ۙZdE(6̫ [&:7.Hm U {psgiz_kTzm0rؼ @?}ҺEU%D8/Q%N&Ci!`B!Z+ミI*P`] H)`B 7O#4aK͖牢1m:u]v[*{;4dAZ@^fl(x n0um92GK]40#X9%ӄ=h$v:7Mt]^=alctNVߍ2;c$n^3 -yM @ڱ:jŜNٻK3ˀF$xmRߩ.5RM?6#veB`Ѝ"~v/IP]aF.ŧZ/Xy%’ygcXen