SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
%d\ ]
MSO_Examples:threads=2elapsed=65.511cpu=123.840gc=3.660factor=1.897zXZ ִF ! +] ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp 37JDLqqyR=Xɣ͆ymqU[WC=zÇ -;ע^:0D+dvOXn _K[ mZ tdTV*ɵBvNxwfҿc^ pSK#3فbWÓ7P!DLڴ<
B`f-ڋS *YǭHچNv O"* hGg YZ7zXZ ִF ! {]
% MSO_Examples ŗXiɟ1˦r*E$ <Ћ *Έ'&`C.&N(pՇdM,ʋ<$CԢGI{:uX
̋[; %ze |tI Q >, 4ɱg YZ7zXZ ִF ! -
'] ŗXi%923FGU萊Ǭӣ P }HE6wbdž[]Y, a@'0~6hUMdY1/8g"W~5s*DJ]_IU]fr
K)ʽΞ-%h?ǒUNJ`S>eof גD
%%<@SHW afZ {G܃xO[Ƹ<0tݔCM]>h`'P,߈GjIҿc24Rb@kV[#;uj}۸9֟$I@W|4[OL|W
x\"wYhDm+ ,w$(/,ɹfDjY<\hqXz C zLxt\c7y`tˡ4\օ"aKkal,h,y d="iZͻo5dD{g8{hi\ݓXlnt18 E$t \ܚ `D4T~onn%ꎇB;kBӺ#3BtV[c~ h"a Ã>WWZ?yF@CsG`gIAbPV;{PO M8o>Q}|Y= 2UHo)ࠊ 1{9xgK kʺ-w q,TZAy F4 0Vyv*KaWJwLI,&B- v?:G /Q n3T)µѺ|/OF3v'+ 6ng,a
4T'FG(6~-OEX Ͽ JIᏚzE#Dvp,}+(n%C&5+?/w^Q! e2?" 4/!p!K#yc3Y JIͬ6*Ʈ{嘧R4JFֶi ;46փV 4?{MQK<)0}4jG\O&ȉN> i>ծt
Oý<=Rd\$^p|>3GȜK@~8xOEc# tC7I99եWP8i$v*# :dH.9qfv93{u[T @N8[?xItg@IL lz)TZXӃ JT^:|R37Dx f* JjpTfhL_v>`}wr8^VZF q'!y` M n9 LWWPz7I3p.ɮv/i~Z㾪.IYqVj+R:L`_u%0Ey8 21YhԸsϊqA9VqvEm Bx~?2Gob sa/Q>HU'0%?鬆ِؔagA뷒uq:o8}ɔ̯W"J 3r@{8[?6+ crA`#J9F{Lbp'($!OIqD z;D˾1X/c,GX;ZQ9<#Ik'{bQ@/ͥtOe/T
Wf B@r6n -iYͰ)VVxI~-ۿn/%32euTA:
:14unVP Xi,.
1"8s~iY''ч}LF/gɲR
te,y&ut@ZگE]m㷐+
?.\Sum9 !c^olӏ&8gO# 'ۀ8K :#|X g YZd5910d2d4473beba04341664f26ac34049b381f0fa7050467ef8f63fd56cd5cc004bca4176bf5785
29f89a8c8c3de749e3d8f52dbed7d75c52623d3a
29024500f22f797a7303f58cde356f5b5243af35