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  9,D ]/ Functions:threads=2elapsed=3.166cpu=4.308gc=0.232factor=1.367zXZִF! "]ŗXf1-zȟ(%xqِI^j4Np?Ϸ enhDҘqcG֨npta0ۭfd0?k_Hi9= 5ee9/UcegYZ7zXZִF! G@]ŗXiɟupX鑅H}؊Uy  aH]7Vt E;J< Di>\HnN}YZ7zXZִF! 6]ŗXi%9(PK\&0o8#>{D;|j aoL9G |.V9pZ2ky OAdu։Ԛ2 egi- Me+yee$m֓6Hfߓ|\qߒmd"UE UNGઃ?!:U*pWHl& pC2luR'΁ 3qPƐDB f0t>/DjG\(wtΆJMbodvniNԦAS=hGeut45{gpZAӏح=g^Tn~n w-LCrD'