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 i t$ E Tycon:threads=2elapsed=9.518cpu=17.588gc=0.652factor=1.857zXZִF! O+]ŗXf1-/6vR[l>eMx?/᣶ކXKvCt:_3?pi v4٥[Mbv(kpC#[gixpZC)]Rs6Gu+q+\6X i5 ٿ*XmLcrMXwgzJN3r1jƳF_Th¸D_ :*C ?vzl.P }}xBqSd[·\Yhz5:,=?JD9QJ:.tOcKg/-lvS8$qAéΚ!zv~3&08}qL $?փDFp?ټssmve8p {]2G:]}pz7~fNve8im| pg.֬ tSڽq/NxM(rz%z?k^8x!}yfyld %patV_ 6p-`H_88>8h:SښϷ]E.] 16 #2DHNj"}<7#Ac^'\h*{qٶ+o瞺21fCى>ꖫ/PX'F$Xl`$?=  Tycon>zf1zkџ> HO܈Čv\ ,%1c/X1OYqbAΥ\z .B>+0&1J!YDPMiLEVYtXrZO_FlqH[`0sXHP;cN{sMqYD+)/ ,|}N:v]BRAeih3Q̓MY/|UAހ}O2FY?|s[l{#@&V@i tDԈszK!ZCs#b%>ni͐OtPKu#'[V`,x;l15ݫ3.2ªMXa&17H, Ӏ %V sǨٕ\#g2ƨ&F%"W:##,E{.п^N>$mdp[AHÍ̮ ȏ9ӝS4,!.oNRdF ^ID8[shUAЈ/c*\*B6pm ;, ȁ۹gg۸b&Y@djt-0 [-?D ( NÆ }xV06v\w|l{7eYi.s٥.q:`ײ5n)wagmO33wOQ}ƘU;QI1wؔB?J+cEjó=y;+q{Y@G 11W&hp55G{9I=d9,_y~(gYZ7zXZִF! :o]ŗXi%B׆[>ݤc [vN ]a\ c*<d]dÓB]`KNMZ(n5œҞa)Uqcc La8@]A(LɧA@**veڴOuĿT&%f }o 4n h0gl6Bu YG9Z eRPcCj̅IuCI=TTܺ&;>aS?v~+a&ljf(߁u*}^hڒU ʗJc7`4u:dY%&AMxVM!FqȒ]6+::K%Tv⚣@b-ϐNfgtv?{3])|{~H OCf>XF4?c!E/aJˆhxHW&ӏEMg0APs֗,y#L*< H6P6*%VlQm\tWmh@7OuboHjJq?#>Tx\l\ѭN\'Z^ \h O%a)pH<*Y Z*dx菕OChA9BU.|9D.Ijfŕ} (MJ59T !Էb#)Zo,[>XfۧMw ';Q*ԁvqt^TFWbx A1NTL&f. '*v÷o&_%:r }}ꭔX|NOL48s'6k>1dlxk`"{)r{WǗtgYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f c84ad8b560fddda0ffe433aa072673407342a3c4 d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6ad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 aed01cb53bf2b6498deee1ef060ba554b5f2d965