SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 88=-$L S/ FunWithFunctions:threads=2elapsed=1.599cpu=3.020gc=0.036factor=1.897zXZִF! x ]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B<5Du - FunWithFunctionsb鱀KBH f쿤'H{ca>Y~[VƯDh!D(՘^eze=?i\Q_*ԼCRCmUAj@;8:y͒iɒo)]FlONΘ ! ֝+:u+jp#S)wi"8 *8 FGcUbaUgYZ7zXZִF! G]ŗXi%SCS~Ԭz@Bh|9zPQY_^1 .rV:1wa 8bmL߇`vn_2,M2:KG;{?6wCT(V.DiTsD}JH2nq>W[^ &OgT_ol, F6NV) }#Ph B+nƕt2Lۖ(wj-ufqkw?15{"! 3we#L2),`y(*EmU7:-NQhuR!l[ bvZ!|NI,vHr(̜~3ZQvϖl]9ͼD:9/:gIרfWѹJ3r% DG[IK9'k?Q4 f=gYZ0a0f83ae5e4d695f82d4318d8dfe758cf3275d42 4a6de12686884db0c6550a5751b6a0239d17b514 a8c477be96aac3d21498e1437478cbe1c4a12c20 eee6079cf6780ae11f9d05bd5893987c93c480a380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4