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 / |L S HOL-Isar_Examples:threads=2elapsed=5.544cpu=10.924gc=0.552factor=1.977zXZִF! Y7]ŗXf1-q恈Cl68V< zk+J5PN!jC @l2\eZ D.E0'P3TK5x,%)l(8ųbŷqTp>e[3DL" b'fHv cܕwbj!h^Θ;h'C<ڳ"R=M&NAPݘ C 5$ P ;சfk.XF,Ջ⁠}~8PIGA}jޡ!.+юb$kyR~Wv˴.~U`q?bm?hfϖk:..Fx#&鵺'ilyv~ H|p٣~CwY >H <> / HOL-Isar_ExamplesD0Ϩi ]o&Wk踁%Zj:dH4.;IWgID?v/N("R42n|dJD,An4ҧ/vX ѵPӓ:s`z6#gYZ7zXZִF! ']ŗXi%# h pVc& (uQ :UifM6Y7F69ګy! >vB~ɖRzُ&59mڃ Ӡر-E%[ݔr,MhkQZ +25dai Yҹ^IbcSق<뱛 n1fvDa&$G6k܁ Ҿ닻%Ix%*|3uࡽDX16DfѮ[g wcS}Or s'>LR ϙyr `Z=.?*5\~PB 5҇YVݡzO,q%tP*X_"/&c%Pn BW6MYu͢'(s5"4`OwhFѧ4杖m#*Qɕac([Mi/u#<&XNmM-iF|-1y-bm_ua}2.3a9Q!uaZ1$7&rs)"W_Vc1''E:TV[Jw(AP&BR)gҏc|,H_i*>f`ʆy>fOQܱgYZ16f93dccbde4d64e9f6f576ac6ab538fd0f1b8a9 1e57762256009a3f678ca377fa23786867730e72 36dec1af51d5965e54cffefa42e778a3c36423dd 36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f 4a2d180f6fe84cfaee78109d0676c1b033f69c1a 4c05a1a4b5cdb6a9ba6fa57cc342ab610815b409 4eddeb589d0620c87a21dbb8b9e1fc645c4da4b1 5d161048243a306e57d614573a2fb6b007ba0fd5 5dc7c280f15c6e3a440cb99bc1b39ca60a73db9b 6988264a22340d7468502dfae1830bf00c68b048 6be87752af5b7dc21839ec8f04c9972527078ddf 85ee62a5d5a2ef21cb1b8ab128cc3beb578b5275 8b94dd648d9fb593013a83bfb135a6bf3c0ed0c4 8f55efc57a396bdf7f3788d1c5c961bf3b4f27f4 a1ddf755e038743f7c64ec864b5ea38b42b87f4f ba9390deda71cc30ea24546c1b02fe4e8cf6358d c0789d7f1537d0ba57a48880861b34adf415e873 c4395635945fea60cd1e0e21c46282e0855a1a6c d99252f707ec0dd2fbd0512527e33d15d07c4aa5 daba3972be164dfa9dd9d52f7c9d32b58d67a5f4 e643e0d12cef1cdebb1657d5531b50bec846fff6 f7578ea153de49d36c7ffc1453f046242226a0bb76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 4113b3ffb31b40b1c0c2e73ef8640203db6d0ade 2150ed425d036e765d71909dfb0ad93cb8336d09