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  o o3,D m/ Partial_Function_MR:threads=2elapsed=6.778cpu=9.320gc=0.432factor=1.387zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡O44UrvP<$!](up6 sk+/l+p_\z Zb Aٖekԧ]US?h`w `G`h]t.h$VgYZ7zXZִF! *]ŗXi%6yN ۅAr;޽yux+0-;BO\8% ۛ1.dA{6J;56o4Di3oI+C5 bA@PFtJs %.mY;1#cI–x;Rl!] F/Z VxM!iVZs2;~QE]Qmp80O0>~\+0t-qiO(Q|,Ehn7I&*vIh0@͎"qEO"@:4";xD U^߲qAq懑 ^KR3WǼhnH4mӥ n@])QRYZVzAϭ6EHOUIزeʤ*&)!"2؂V˳Dk&Yo{: h !ϧ~׵6ӾsQ 6xɅ'pyh kyoA34}T( uH3b[:\Pa4-RQ:QHyL')QQ-BoCpۨP Atw-Q@:Rd+Q33Vf M_X/7{}<.3c{MҦZ#_ 7xo MS!6G2m~jzDTuѸ |)dE>_d*QY5hsƊ XzN[VwDqE׀K |T