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  * *S/ D$ ]S Old_Datatype_Show:threads=2elapsed=10.994cpu=12.616gc=0.448factor=1.157zXZִF! $]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}iu &ߞ h=|`Ntv0=`/39.4ncΚ}u$ћ}d1²mYsNF #ɥ&laZ=eDUP$1n5siHϱgYZ7zXZִF! 3aK]ŗXi%60nA%8{y?6^ 3ܹi#H_S0e?Ӟ{s`l9Bi7lQ9C))*T[Svu=o3J0=V;:kjNR㊃tl q6_I9G!pѮ;pj3(6%p<:}/+176+ZoO3W %y:*Ѕ߁<"]mtJ0qRdEZR"&Lw]&CJH/Rfة*Ys#܇2“Tb2) ɖ5 l%鳅c ̍pf3杈*Sq:=~bzbsЕj@ZP}LwwXsи߲ }F:N'v :u(|)8W\ \Kw5ϳ y-T[%DnQ FO8 qj3/CQX#5?~D8w e{UT(L0|.U/w.}JEgda 5yuEm}:/::ó4KV{x/l+,s ,oí/wA\ Sliw'.a+ ^rRV G@[C<