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 G+ $D I]Sqrt_Babylonian:threads=2elapsed=15.042cpu=23.900gc=0.476factor=1.597zXZִF!  ]ŗXf1-/6vR[]9҄պԗzX{olD Kx!SM~b C^bV/!7ԙ_qf\bVM` x8r<}=" -`[@b(h=pmd5gK8"$rb|yEU1B=KM.Kq#𧲾3O0Ǘa5ײ bcXRY\@Q]"L r+0YcfT_oN ʹϑm]nWJpj _LA(uf6v[3X75ٳ3t(%:JcQ,[EzJ͙Y@#zDN)WY0+ Oe/GI :(O)+ʗ>qR mO8%UڋM˶]#k,xZֈY׫5W(5W([C+$TMJ&U`f)FOԶEwӁy@?/{_"P:yJ*k,H77} ״D:Rj`&qn2Y?iYkjQZ4GSu0`7n^R BG<_Aq^y!^Bc%:LhGDkJzw\ w!V߻zR91@ZR(EI^Ԍ/f;7d<ڜ ҆;_aqa5pgMi'S'p"& eWPT{F ̊V[r='7k`2HmXo' uRPbU3oG}f&°CO޴3JW?A/PL695׻+0q=.@ᯔ ɣ*‘oޫPD8/vkF4-JB ?㦯ގjjlڰ%S^9!˥:裦v PR_BҐy7r27&evK7M|V#5#7ZHTGo4w`^HB.OKPU`P-19'2d< (vLG`w2]픬2Tnb'RԷI85Ym0:JY=bWzx:]l9D뜬?vjQhz)' 2PPP|Jذ{FE s gYZ0f545a212cb2579fd93200014db1f9b0b841bbf8 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 64a845b1220ceee7d28a066e234aff43a3785d06 7372831dab65a2016ffaa58ae1f3c890e16253b0 942048c211146fca0ed89d8bc8c594e9750c1b8d c0b968d23a82977de5c5376fdc0961634308f36bf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 72889b77a7cca4b0bb35d2db48a45d4609dfcf958dbf65189602510ece9f7b304b777bad5b004984 + Sqrt_Babylonian