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  0-d d ]/ FunWithFunctions:threads=2elapsed=1.408cpu=2.396gc=0.000factor=1.707zXZִF! 4j]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B`&Ѱ:XYFvOʰ aV A yIɌ;Gc@n`gYZ7zXZִF! UD]ŗXiɟUXvD@ 2C \7c &B[ϧ|;wRra.oƘc}U(c`VM*s}YZ7zXZִF!  ]ŗXi%9#q{lJq_(5)")3HJ< ޡaU&dxzB)DWj [Hi8e >귭rLu-\5o܎ lѺSg!%!?UClݛ u %g[)9+S\>DET'-<Ehͪ 0b\0eK/9J=-V+4( [I- 8>@CꞦ*e2\R yxlgOOIR>b^3cuW Bfh''!4hq!78;U/rZLiigԹ^G<.kCRd3y>vJ(a$|,fcq*@+EÌJoh+:ʜh _!Ocd*ޓ{J,SoE7m^T"H\\I#3e  ޭBٱgYZ8bc356c04c88e4422fd1b435187fcdeaec3fb8ee8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a - FunWithFunctions