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   |? <\ ]S Imperative_Insertion_Sort:threads=2elapsed=6.377cpu=10.620gc=0.244factor=1.677zXZִF! #V]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^eZΠeTSikKt*4QHޕ3oBZ ~S//Uy.cXRO L@\9 =a)]K? 3Fc^*(JZ631bAZN@aL0#3˭~|u֐kd j4K&3W}_l^'`Խ+Y(cyTgU4La4Iȗi q5=^Ts$e$OH/[w2gYZ7zXZִF! g]ŗXiɟR\]w.-jzCg>'IgYZ7zXZִF! .F]ŗXi%92KBJ̲78$\B""8n:f_:(ۄzsf4d-qff릖4mw8wAA*1Ŝ+HJ*q0 S>B]'Dy5r_ /L;kQUa5< tߎY|)Ng ۯ+ȳE'ӥ{㸑82,7@h ZjRY{4M&T1Eħ}vWp)F-Q[?fbc`N&g?uȓ;Al:qja8'0,@ҳb-Zv[ͧ?[n3աsy 0*9ڣrX ̟To˸_4C鋕~\=Xf E=q=K It[Dgs.FoO2H-DldMK+/0cH'!U'K6@)jpI1 ׏D;h`"0"!0V%|cQoSc іE6EJͺO%lm@mo&P1eoꤡBjqAy+C9o洵I|]- 7LBQ*YPVմl"?ĽZ0a\g7bߞ<ܩ'