SQLite format 3@ . YYQ77Atableisabelle_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, "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 e3 | ]S Decreasing-Diagrams:threads=2elapsed=22.186cpu=39.176gc=1.032factor=1.777zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4p1F< T3f[6[1X.(ْR?Nk[eh󼘐4Ґ( :>h%C9#[XѭD)IA>pN2đB>&hLJpe@j{ИއW*v`#ĵ" ^c g?ړn{HP1nyu'Ns[i 1S"ҖBL@~j_a/T~,#Qk_F tWUEcLa& WJdS T?Q~ycч@ 0/ENĘ` @{#VgV,vq2ßύBl9_w|~F胱2bB S1 R3B?;޲U+98lLH.2&y+xgYZ7zXZִF! sG?]ŗXi%6f 5қT*m!͂+ +dE9V чZ|z>]Ség\ŔNm6@/xS6ýSm)D5]V@/I3R/>CtӾ c3?=%kTrt'ͭ7ZF}z8m>c ]dN@Ǩ2`XjY%QKtZ 75p`̥AZM2됁}Y/]>J;z28 3'9[QOCwm\$>,o9,x+؃xPtjwQ ɛÏ|{Q~g"bs[TeVUoE< Wo@eZ-O"y5HbWDWz_Ə8T-~%2q|OSgG$Icn? YAg>k՝ :jieLt_qʟ"攤Jm7{1\<2uC͏۪Q:,\ApԼd(wm]A \ڑMTAW;6hHB*o!MېVQbwS+u':=.֒k !u"XL[ _AZoF pTܙ(7/{\/$vWK90krn$4v1t2p9im(Oh&b$ej2DFbKI6I%?*ۓ}TGvIh;e2kd𙜏=Y@lInFI߻Y윫L]yw96ɍ(D+EuXl57a?/Ļe3[/^, g8Ѿc|mz^do'&~)Gn=$/ fO"NE_bU;i, 96m~w3kgPX fP\*D^s|bcЌx[d`~؍/Yi; Nkb ;HfҌy:' Uc;Иk<6B>(A$ubu.q%'?㼤DOkUTcx7Kۺu?f"%<6jm||0XK!qe`LFj f? hMq%Ls!145s21cq{\6^HJg2vwskαp@7k1J/ ygYZ92444afb8eb3078181bcd1f1531dc6278fa461ff0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 a25669826a1e513682727b37d7c1cadd9c4691be 3 Decreasing-Diagrams