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 M , E/ Corec:threads=2elapsed=58.899cpu=82.848gc=4.628factor=1.417zXZִF! 5 O]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^5ΎJDApǼAӤ̹M>!΁yb+=7&}stHx ^K˩2*zV&+oL&OlYeW'=WsoY{[6+K=憴1pޏy($`*Yꠏ0}hypئ ݆1C wO>ې:_IQc6'4>34C5F",H|]A5c`KEҤEjq ~yHk ~9s+긛3!Ӡ^ ` yaL쉮EίV=({g9Z@M9]avLP.,1M]ƌ340:+Y{|W%Ȟrv-Kn!#f149-|<9M6Y䵍Rnuw.+`w,?-stN+ tdd]!N)4f;@')uD%΄Vf rT&JIџD^.{1lz"g.ZɊL(*lJy}Y;<oV~wcr*K,P͗0`޻0R'd|}烚@9pEKӦKVPޖ½@'x-qG4 欰ʎы:%R~?T(<_U5QбN#r]=+~kwEwKJh p/q Z[>{'Qd7v /qR&ޓo8Vd, tJjdFJV&TX70溜U<@?S9ۤoFgvHf%}?.q^"0-Wt4.n-=q*?v(,!Ɩ[>M1:08Sx@;**cF Gyb*k$Ʀ#x j?2gYZ7zXZִF!  |]ŗXi%>)-7o$ofcbγ#6o$ѥä_RX~K3uy6:ray 6wzWJB:ʍۙ[6咿D|Y͂J͒_vTDF]K~!v9c"&cY# ptW_:]vwozLFϫpwZp_JdӶQ~j؝O18 -_ ʟD]s#2jixRakSscel? qI‡%3m8An>0MLxu&&HIpwtQ4c~:|wҭlw;ߟ䭟55?:tke{۳ Ewtu-agQe10 Ayw9_q&xuH>vQ$lB^hUAS  "и g|uO˛m3:mc4rTj +|uJګi&;Yjz)٢m ͥ<7K*-E$XMGңZQ=7Puʫ&z |2)^iPL *+9 +R`)p%tjc.liGdE:Zζ#ZՓ ?d*,8pxlLnuZ_͵F-jH2Zj)#T5_-Ob1Ņbjxђ]A]ƺh:w6@=[}2*+0aan!樰wfdPPQH>ߞ`@YGO?-@ٖqVT_ۃ;rjn0iNFe/x}/ci{n)T񪹟&~N62?SA;ɭ-6'aXh~`ur<9J/.HU&9lW/8:_+~Ɂg˅jBV"~fxZ~Fċ p#N]*xgP[sҳ9$͎o"zazkjӂ z}OW$tJ74_Tf7DAcJ[VE-\ [녊 ugN\k4s_[#b_P??uTlТa!A2ovnؗTb(R^f ol}ǪD$4`AX Z2}s+I|;;SI)9y9qBy'MS5 19}x,m"fᜣ'%LCb%YyliSLsnm3P)3_ "dR#KPq^q7Gw"p+ı*lÛP99I*L"Crplwv(чf67oq#$9VTtS?" lJLvR}닛r ,xO]0W4qZ`h>P VA4ͧaimM[HE([EN!aYGJ|Ch>WȒ\6Wk4. fh{$1H}22|0Y榷~ Ƨ_VNMEk_6_%~l60!LG |yLPg~iY1ʼdmL5QJn^Po/mhl`PDJhX8Z41U5MjXT:Ikv#e @ty|$~䶌eyP̀|K.۝":%/[MKP1L4Mx@VTH!02 -)$"^0Q){i8-ڝp,+Is/ E6Xf1 %H\hjHa!#ѦW VȀu"ۦBp`2'8"|vJfZ̹ |ƪYG6]o6 Yg*`qn>R= !!cQ_{S>>6C =nFo!w { >8a@ 5KdqfiF4{cл'Q>U ǵ[߀[j>qҒ?,~H5_Q%T(QAU|\+\.oEHBYL˃6+ lUjq <yx{_}Ԇq7ބW(4(f* q%?Xm( ɪ{}9!r:էbwIFlB&F(