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 >>?3 $< ]/ IEEE_Floating_Point:threads=2elapsed=21.964cpu=33.324gc=0.544factor=1.527zXZִF! L]ŗXf1-/6vRZV"3%]r> =GX\sY곤@_&@wwHh ",hsĪeaxeFȈ{T^) #=;l1]8LsC<3ƞT)\(鸳EH4pvG*`I-%f:8VVU\08ג;x0{8~Lv_邋LNԾ} BI#ۅtJRt΁JSn`6+ e&//{3 i=|ZE6sRP#1SMXr'`^1j;L=*8Jf#BY0eC u¸Fm>b2"WgƢ/:'!!LM(7)+tls"niNPm|!D0O\G񹴉NkhMzwmǺH/q?x94ھ?(eNL*'ZyUe3gfNlhSɜK700ph8 #3^?M{B؞n;haaQ#"@OhAk&a'9o XU%!hudZ-.nMnAUBk\1)5<D}Ƞ {lFPg37E2X@|\m`hF98mG i`v;U\/JA2؍mo FǾB$ip9Y&؃E7A $ooF}&i iPь̇"o$G }-Ao^Xz+ f֬ĖYzd.M??S̃ 9 m>xȔeXR{T;w!c9'k"#FjkDF X!,/N*gw6o'I7Qctkħ{\"SI {wb0A=*ໃUTzo?sZI`h(y>6P Ԙe 4t([u;ڢ״+ѬB`q,g!ҷ-dN&`IB7]c'9hq bgYZe64fdbe5ebb932a32fba599db46f1ee71645d9f7e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 3 IEEE_Floating_Point