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'd i/ Case_Labeling:threads=2elapsed=5.151cpu=9.480gc=0.156factor=1.847zXZִF! $]ŗXf1-q恈NucvAݪ4 c?[2C IfW6{YdY9[?2F=U I[<: T!߾txTS=eڠ&un%K>ba9X^gtH]*Ӿdز\a7T0+Q,}}Z =>B.(25 D<'KA 98?B<)׶XNvnf6 `7 f&,.ݍm] >HmosŊ` ?!w~A4ZAym zTR/C}&\'1giI!ߕ+}Dh[>Oqv]MPU>"ߝ;#j&xG=_2&id a18+:g 3`ԺVY፞Wws"AsͿ-56]a(\}ZbT Չ_@h_/M{-S˥S X<ݎ ~%H7(t,G65'?oQDTm&52DW=Ö@vA"PdSfޏ(Z/JD"G3O`lgT8IpI-hw *۽liVgQ%).N屍X? BN a]Hϻr= -̌+r _"A5 ' Case_LabelingJU8FjICjڎ bI9R@?j`+bXPovWZ7IRz"xvP0_Xuޯ^V xŏpn-sU|40R yKyP?K)kJB2 >f7I673gYZ7zXZִF! "]ŗXi%m]qsތa"dr>b P`H++z52cģC8DAT^\#eu1\1Ɵ#J`%]fQ%tf@r8d'aڶ[ߕUxWgv$Fafȵ~G7M:͟|Pb>ϴr`IQLv;ޅʨQ2D"E=䍐!2~Nd`!_b~Z:b| "[B& Al 7C0~4m8;7{l<1HK{ǧ A_h%Ċ,gMR̾J`W7Jlh96voMi R-Ah.-\ֻ"I |L-\ 7̽pk^ċ/N[).8JOgEcTgYZ06346cab5ec6478ae885ed1eeec7530656c6ffab 0b33fe8ef13261d0745344f9eefb9806a08e14ba 0d624df132aa2e54b02fa619fa707a1b424b9830 0f679ccf614b5227e853906efcc414921e503ea7 163423d264df1352981af20f44f19345debb943a 2d2f95998ab9e928454f153480cf2b7d538fe636 36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 688c88e7cfb0daa6190f25b8bd02d1c39cd6affe 77928186e729e7ca6715e05c0cfcddf2d4f04062 7f54daabe485e2d6771961cdd6b0333657dc56e1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 91727aaa40b4cda16aec28777eca0072150bc993 973d6bd96dc9037f8676681fb869d6ae83013aac 98019ce86592883a02e0e31515935ccc674ce315 c6d4563f04eb4ebac2dc83cb78ada71329d6c904 c7fcdd21b391a8fea2ac32e9b961e03e557bd4d9 db96e1c8cd9cf942b1312b0c9f9fbc9109e2d870 e2965a91b2375ffc17f28587eaf4a0fb1850ac39 eeb3d4ec4f603c002296924911ba5467c9d2c86f f3194d44d628c80583c9ae2956bfa858c8d7c832 f3194d44d628c80583c9ae2956bfa858c8d7c832b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d