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  $)t  ]S Mason_Stothers:threads=2elapsed=3.148cpu=4.892gc=0.088factor=1.557zXZִF! ]ŗXf1-/6vR[L]Kˢ!LdBsL +M}qO:)0kt"[wavh֧#DDI­U]|'Pui5&96!"7J!]L `+)*A̰Ֆ(E-ϱgYZ7zXZִF! QD]ŗXiɟQ>G+"W*G(clPc#!PT7V!W(`RT}YZ7zXZִF! bH]ŗXi%924. .'|PċdF=w' EN.WBdP\t6|jrFW{wq) . .&jmTo/(7|nz{@eE~tOx_CxϸȷDm)dܨG1y+)̣!y1 >=;[rWLؐVAC}oL D4q$ERXӐ 3p4,I'ZpdbpcNuP.@5\_ [pcI!v\>-LZv7s'F~x3O*;я!bJ/'༎0 "URw#5V;㕟ǻl<Ȥ0߫TQo|TZ5o>z~O[8N={?-Xuƀ*͏! scW3\g&E5{< KwA&HYyf.jLNM`V `GD3"%L*}br.~@:pֻoJs]]Ƭ(@.ig Syi <ٻRgYZ3c394796b0e1721e4fde0b518d028160c2aacd3afa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 70f4b946e63625a4e15d03cb5d11a4e6c8108b42 ) Mason_Stothers