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 A'L i/ Case_Labeling:threads=2elapsed=5.375cpu=9.736gc=0.176factor=1.817zXZִF! &~]ŗXf1-q恈NucvAݪ4 c?[2C IfW6n\>so(ܑPP}GٚlȧXKyv$Rv_HQWWW4hOZdWb*ջLN'ṵ>^Bf.UZ䒝Ug-˷PN+_m6d-Z7Kʫ$ iCƸҵFW@ΠY'Ɲ9F6cNDaϩzo |QðM(+y%gBfD'_=]X&660 lX/vl݅cT+oLX8!vӋWvϞ ͈Ht2h Zzp#~k,VTY vIrvS\c HE"n!5^/gQ#VBsNfM:"=n'J5&Go ط@\B5 w᧽d31as}](Ath51 P]@>ĈZ<~AD=Gom8>0`a{V přcAcoSk '*f$FE ^DK ' Case_Labelingc{[{/ƣ[ :< 8j(29 I&h)VB*v,~J-f0%f9mDV%f"m@hJU>Sڀ{s|_,Fe7nJ#/޲<ٴyWLTN4F-L}$gYZ7zXZִF! "]ŗXi%[I^[7;w(4.fޣ8V1 t2|"S[v #vE*y-#c$E@^ү (wr΢AJۓh0B@ /D1bZ)SRXJxDN]NǦMS'?fȒ58 Ʋl@w@ԧACTXr)~tG fbr*.:=j.Ț\_ob"w_%Lq.RrQ;%w(ULpʞ/>ʾ`G, U\]vE'jrQe[ a!0P,q?%@uc6G\liАBW;|nJAݤB kX#|Q^b_bq,9^tUõFl$ Rlk]vhO'RZ%&!&r8{ :kSNMZ}.r:$tD qo|w:)F_?!{ fZ'*]ڴDZwUZjGr‰~ y 9]q#W(j4W.S6faDx=Bu.&LpcӁVMQ h騑MIX :B~3dE| gYZ06346cab5ec6478ae885ed1eeec7530656c6ffab 0b33fe8ef13261d0745344f9eefb9806a08e14ba 0d624df132aa2e54b02fa619fa707a1b424b9830 0f679ccf614b5227e853906efcc414921e503ea7 163423d264df1352981af20f44f19345debb943a 2d2f95998ab9e928454f153480cf2b7d538fe636 36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 688c88e7cfb0daa6190f25b8bd02d1c39cd6affe 77928186e729e7ca6715e05c0cfcddf2d4f04062 7f54daabe485e2d6771961cdd6b0333657dc56e1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 91727aaa40b4cda16aec28777eca0072150bc993 973d6bd96dc9037f8676681fb869d6ae83013aac 98019ce86592883a02e0e31515935ccc674ce315 c6d4563f04eb4ebac2dc83cb78ada71329d6c904 c7fcdd21b391a8fea2ac32e9b961e03e557bd4d9 db96e1c8cd9cf942b1312b0c9f9fbc9109e2d870 e2965a91b2375ffc17f28587eaf4a0fb1850ac39 eeb3d4ec4f603c002296924911ba5467c9d2c86f f3194d44d628c80583c9ae2956bfa858c8d7c832 f3194d44d628c80583c9ae2956bfa858c8d7c832878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457