SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #|\ 'S]Coinductive:threads=2elapsed=106.339cpu=197.340gc=8.312factor=1.867zXZ ִF ! V9u] ŗXf1-q恈a.WT= O9x7&f*Pnsߋck!E^FMӍN'KgFmNz${BYЦAһZG̪ hT"C# =:cZ*"yke#~btDx#1ΰO(NJEzJD e]h˄FCN]&1|L?FF,nTGJjQj[a9nP- %cDSZnd{%@6Q~DK`6 Щ||3ZHxnbrwŗO.1tYnքgV5qZ갓'lQ [k֜2KR *; ;W־݈M"htWU8?^utU @"ըm ͌iZ֕˳Q bAػZ=/}B.QZ}fԷ6YK'#OܐHϧ>XnK~}]-ܷCA6+0b-ϣ\#;7q8lKN)ZqgWDTESf":vcG>kQ vg0̐H~Akh0,E 2.}g×wgD)818_q4py3Oس15< 'q4kDvYWOgHZ)*F#sWYb!ꋄ5JGnyS!>B,,A!d=P+GZN