SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~% L % Finger-Trees:threads=2elapsed=15.589cpu=25.780gc=1.912factor=1.657zXZִF! ]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgG?*)rİF,dĿn6fl*Vy/Acv֧]XE/Q+@ߴ|Avϸ>hxߖݼB fgi]A v"lQҡ߁ 8}9&\}lw(uT)j]{~ #Ϻ=;"a;n=!s9:[<՛ (9C}DY8ji@R>LJlyՅأQWվ"mn8S<뀪zk"UZѡ fh2JZ,931:X'מ4"~fZʆzr^UB9˟fPA,edZy)T(8a 62}{4驌egYZ7zXZִF! O]ŗXi%F#U ruX !(ңElf2ݙ:u\aϵF#|;)J?ϥsς-䦗haxׯW=~5 Qhߚ^桑`?3.֍% 4UOmڼ9&] beNSYBr2mW-tP鯇{M̾5Kt)R;Ͼg*;w"m[0[a8ڼ J9 r (smb0[-)zyp˭*J?1ZꈐyDl,%cFCБ%`q^I/V}-1:etUMz\Jd1YBK:xTBAK fo%_y/Yd+^՛ҭvT{JO!q9uoC$5+O|?> +z\:hquXXvio j˟TO\yޣt)ԙ?VI2~{%"27xKJk)9 I!Kp4<04\ OkLRIVېD*LZA%|H{G?죎vA1n=>ăN܀6\8Y%M˘r5vP+ Or5 |)Z bcy!0I,0*qNr>5AAoyGR  Ο2ڱgYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb5614735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 % Finger-Trees