SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 3J ,, ]S IOA-NTP:threads=2elapsed=6.887cpu=12.592gc=0.556factor=1.837zXZִF! F]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#Tw+: l~o*L96D6( e#M4Y)1O̠.&/m!M/InqXvXW8_٨$4ewuRTvpn+ץL75'nĸOlƠ©VmW1=ƌ(Y n/tW$(`vkऎ$4xؒlYwSa:њIâ(&y,U~5U ]墯!+ڴgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(݌R040 jWȕoXq=DZs$ ]tryT~x~e0C~5d*r#ouV3u =p{T"{ء^,wGVIWPy(9(_a.QW <"X6{IgYZ7zXZִF! ]ŗXi%;cy? pu!'GDQm\l^xlDaдDz&uh_C|!e G` |A=e f.upaE@Id-ҘN)]*/|ml'UN+SF qq"QUMyWʲ)*Pi֏~9/ n^'i[Ћk9ya#s{dksC,ڕ}, BJօu uˋr̛ɤ-+=6= Rzs9jŜ!5"m߬9f!T/'[ ,~L{ -(I)4ywA;bOѳqii'i4Zݗj$^7.;X8!&-;<&7lj ׏ճ-m/,*;EJ1|!M}NwyTTӰI g#tF|QkʞFFeWDB;xz{"AsP3uz6+ o:}SK<Sq. t1j$x ՍArVRgYZdc2caad4b1661b36eb8a836dbfbc8c2cdc8bb6d6047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 25919365df18615587d6ae826388e338f79662e0 4c0cabe95071931b2131924f0a46c86022a4b361   IOA-NTP