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 zz{t m Category:threads=2elapsed=3.189cpu=5.732gc=0.340factor=1.807zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp osr@P[[՝Y.7qS&ҳUT.[!!j}ܗa3&Lڰ-VK2+o+T0>@o:KVU ]_c8mLc=u9cc*,Q/[hyKKN.$لa*BfYYz`VB9/Yz{uxEhǠoYxV,o-1P>y/p%3T{kz*NBNj̪jS?3uޣi cy^FLAҙ5/n }ອM"շNȊ\s4M>R.PCqNca٣E ҦӰC#0Wzvg֎&w6ѪrښØ^1ZR{mշA$NĤ .,iZ|U Y:zpoL?={3m:S[vn`ҿiȋ!J#u#;NGϸE~:5$h=@n.Mo7H:;9Ldq&G0jDAKzzE~BC*yF?;~]ŝ=6xN60|gYZ7zXZִF! 1]ŗXi%4Ͽ/~yoiO$\rwtg?>A*s