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 8 ld )/]HOLCF:threads=6elapsed=15.916cpu=37.840gc=2.100factor=2.387zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^x?+:W~%_wH >uv\]ĻM@F\X %@Ҫj@%w=oEPV[?''nwh{/˰]r1-HuK; ÀR]9μ{\tީo!uDmTF2ROl~ qSR2nEI5,.YrΓuʀ,tofsu44*8R*fe /տt3,si}II̙U  HOLCF ^Pm|&<9Cl;;;t6Dhn#.(I`!8GP$٢/IUD>_I+緾1r"$ j c|E2 z\މ-sK6ȼSOt_{ϖu՚BVΆQ]Lb7r*Ċy:wIe^8mMهFF&ŌbT86\k#S~FPRC(`XlDR-=v%RNOSN dG횼OAM*M8%N:aO{gYZ7zXZִF! Ko]ŗXi%6p֒6 m'ۼu^c4FjsE#AOʝDs|cSzM= Q-ܿNK(c1Ò-}5jqKD$%YI#Jn!mKC`rq9[h%R x1:]q.3YNo6mY`U\ꎋ0_:hYlޝڒ/ !TEQ_ن ƙuUȁ_V=<{D9O6v.