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 22+ Td )/]HOLCF:threads=2elapsed=20.593cpu=37.388gc=2.140factor=1.827zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k ̀ͻ]Td)Ol,-x#7~,:-QL2)"Y!;JB\͙qACIWi؁DRF8vzVhĝ?̀~Ǚ2x)sd℀*o \-x]DzMr~Jfm`_ygC.TT `q'wīfIt p.$e @_&tVdDy (dWLʟGPk%$8 69r=f9 E7V=('Ҙ..xYكH!,:+.'/X X%w]dZP2Ჰ&%70qqe?-LZ.[O3%܉{g"ѽ`lR-MmĮ2 mRB|rE&+R1jL//AFCDe < -!^{^ϗS >B@2t_{3oMIK)R_u8{C?lk;Uc*%cCv6Ha+.c̊&oJ,rOtKk.V(XS(P^#ٜqf^ C]K8Йc&hr"Q9J2t IH;Ȣ6*nDf1wƂb$mYܓ\]YM֯/p#*{Y*B6z!QVǟ㾈cJC*iӞP)oPRPoX*E)=|cdpy*0NձͥEYk*HBJ8nrɆ.\_#U]wIxH0%wt]ǘg{CJ+{trQ%IU>Seٽ0`wT%TF -%5oMyӝg:\ϺhuyH3S## Ax%tm27RNYd&b>0<6:q=lM\ÜAI|v&rx_ù9}űⳂT>/e R qG쵚,51 \hH,x>WkK%geNNUt@'.ޱ,;A>pmEv0@͓2"d?%ypJ WCSsG+ )'g͑(Ng,:ejk>H- o&uy'9p~-hR\PcNMpܻ$ԻBQ꜎Qhxʔ+T.W9Vkx D胅 -*HAQyQ˴f~Q91{Y~&9\>6xL&3.ޖiDz= M%5Aί%οT,%J{悦%_c0IY=L 7aꟊ2]m4HM PhͣQ(ޔ4: )Ԃf@'L&ރUJc5!,hXz#ӚL&_]L׫'KAj<ƈV!m"*4 `-5F0qii:VYG)%E3%zV8qeР"" r3]epY8g:.&> ut˅ǁW@C\>BظmSKɆ )d•"Lҟ|3-o%|](?K)nb(\Ww=ZȖ$*ߎ| duIZwQGgYZ7zXZִF! s-]ŗXi%H菺IOOxPc_ч < oxl{v[( J+=69u:g8gؗ9ӌ˻L!7z'DGg4z"fg#׷binrS'?.zE$E3KMݾ {hdtVup$(nQxޢ6#t )Coا𲡀Fт< P|>ʤ0 A){+ QJ=%^(KtJ<>rtO6a}{.x}C~4#O"p'f)gۋgL.+lz+aK( d ϏbJqvI):tCdFS7%XnwIi"G1OͻRWk8&p k>= s ez|xxt|tOs o뵁p5 b_ !Y7 U ֘vYr;9,}޶-EN͈אeK%ak 6()q\J̈K6'ZE$ ^"\.*6w{$b gƚKO0:ӅVvzv5ݏ۩% Lƾ'Ť?V>qBJa J R7sCkV?]=-q0bDfi YFo1uDjT^]Rz>P^̐d 'y͋9+UdlVAߒϣ B'@\h'`&1UCU< JB&t;-po23+Y'r8t@>s|H5:5-r%KFtTgd"R vS_svb[6d+c;zҍ^F'ӹmp'LU*'vdүwb(t}ZktzdbE\MQc_$P *Y5ӫQ ߼s?0B6y5(,]NP*JwGN|5OE2~uSaD+\WBL