SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 +7 \D ]/ WHATandWHERE_Security:threads=2elapsed=36.445cpu=70.468gc=2.428factor=1.937zXZִF! ']ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC!‰x@ѧ8_jՄ&_i͚O(\+/[dO9B`R-nD 3<ÂC(`j o# X~ Vi]^=PA1t%Ƶ7QIBm7Z5kkʬ,H'̐,dPX W-bj^\J'k0?!:mq=Ob'RYRkܗڇ Z]}HmJX1B!%{@)+V]eUdX'ʬv}_ PU8H;E!1d 7u2-.@%<\ن1N| $3GoֆQ~:x ,+9C`F{ *T3q)}1McLt >OVgYZ7zXZִF! &]ŗXiɟWڱIY\u-Iv*#qj7%6է&~4i'pxgv2EzZ[chE|'AAe-2,|+bsLa˲T^q%;gidb~),̈́WrDpe&&a_=T_lmZ=WqaVVvLv@Zۓ-mN M͂tTIZ.,D꼯0$I# coeiEi%)bU*83Y-LZ.z*0igYZ7zXZִF! ]ŗXi%93\3ৼqE*d `@1AF/Rr ɋZE.Nʶip`<.7^^HlFLj6jN9#\B}_*X >_ïWڡγ=P#:KDS3Kۊ ,?Ba܁SDo?!g)@j;n~?JH/]ɒX+ 1VZ{44"@ܾG OP<`&ل6OtxӫKrE~V\RkIL5cf=RFܔaɐwy-6&aAf4! Ի2nSaodWq<;Q(4BB+9Sf {V滴U)\u_>lɫn8B_VYy -xARG΢#uR"^cx.6݊l]x|]`d3TPB:->b8tT,9]XgZlI<5OhǪo#R2/ &@?\N;GѸg'U89ˬ̥">/#άAdKO<=[y=/qȫu?`>~.JE&P -53[wtI#Jm^'E?q2&C33W0s-ҩY4~E(lt'7V^rz W'(VQ@򢚼 jUTUN}o^  ]Fxew66a\<}v3: s&#f>/Jn=ЍɬwudŬw Fޒr8ĵcsDY5R僰;c{0g*E4gKD-e>vvLicTcqt̖gc*chdڂj4qklAߐiV;@oAB?:뇝%I3gƴ:-=+&]>Lt}=[$oIS +erν9>5ޣݒ#ϣ|<sҗW-g$9텑M>ݡC/{ud81j}W ѥkcR3n-{ ͥ?_gziig@H# o.9]<%;ݩDF R;;8P,J?|_F{j|bBV4aU@܊XW"J 9Ko9OԂLkF6=C*2^nGv>T ?-B?0bBg r v2)iI:/ibϓ?ʫp.6".xv2(#|'0yluL5Kvj!߱cm;!U?Y2Gӎ'!o̪LkMԋi#FKCh_q!~^\Z_C0fҌ=&NW#V]IhP#wYmILo5]z SҞ-Pob󚈠!xD͊OAfe"^\oW|uLf$aiWEo)tSJ6H,qq׺\](/svӏM: 6Ԇ %?w4F'_ 8XpS Z!_3tiUh)o}4S}qLarYUu,`fh%G5+Zv\|i7mp-9w Jka'Ǯvxbtvx,LTDO 'Oyo{ƵZTMR~ -)w wQFX'KҦMWMGʏDі%aŠ̹E =ƥn}/y.Կi/5󝄬 R>ƶŊ'1w4k2XIQS{t=NVN`%=gYZ64740dad6f10c741ee4e1679a89d64dc40e3e06da86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852