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  & &Wt| S%]Lehmer:threads=2elapsed=1.576cpu=3.000gc=0.000factor=1.907zXZִF! t]ŗXf1-/6vRZ=\\ ańǜZQPL{*yUcFMƻ ,ds?<R)=aG񎟍pDfR8S2a63(Z%on 58Ke܅[/5}]R$Nj}‹-+]sEwǏ,*@>X 5b~U+3){PV:;AXyb9ShhE*~}Mf uW#,HȀpў{G.=lI?P%5.xtQJkLE*Q$\ϱgYZ0c2101c1f8585f70f6359528b26b7025b48b8019 49d4116c4e07a3b7da59d0c605a55414d5cef04c 563567eac7aaec9c79a61c0d23bbfbde0325a3b0 7b14a9251316b46b1831484eb5a9447b70502b2ef0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 d61e6fad08b1a56cbb9c72f2bce57e8e26fc3dffc356a1370b884ecf7925b5857a2acc00b2a2291a   Lehmer