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 !!\' 4t4 ] WorkerWrapper:threads=2elapsed=11.676cpu=21.840gc=0.968factor=1.877zXZִF! L]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNBGmʧtSN3yA7\tGFYp%9j(U'.M&SR0hgKu v$-3_Vs}$1і aWIl֥? q&.V}AWaAY5Σ48+ ]3MhV5Jȟ۔'i0A ip봒IK^jvٖ,͵bԠ=]d!sP*sMjt(G>R%.'EW)df)5,H>H$"s[}D'Ucl m-oU687>AwAA~@@Y՟TDyEXN810A>gYZ7zXZִF! 11]ŗXiɟ mLr?wl:bA8YÙ#ZL>[IWsBh'bPtV#)c7~lle.>?|$R0Ѫa14 )/dY)R&֬lɭ>^(y2 @wሔ#X{4qM˙\%*ށZ~ˀJ5.1Cbg"p#B uGwYD@ #*plA5Jr533MjX09IB˟7-Џ_[Kl:8,Rj.3|?}:Xr{} 5Af'>*4.0PKC|}β+h!4m:oaʺيE|@ˌC _dE;Ӣis!LO3E{{E5_՘ i_e= Y];:&7Ǻvy GAh\k8;EKO وblq}/KDхﲿk!EZ\2hGSXy8C5zVnd :mZ!CCQ,'XUvxP{dMVQΘsGB*XE`Ted5<[Re& a?1ևK8 woy`O͍E!H|Pd?3#oA~c׎8'hn&=}-"sb _I̪}v?S=ľ[HVS4&9VNvS,C $ZJ#c枦Bu\6 3OB6T.gYZ19988abec99c85d6f2c5a3211a7c78b5602bfde8d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e df5497a98f9fe86a949bd3ad8771742cec10cc41 ' WorkerWrapper