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  \ \!- LL ]/ Constructor_Funs:threads=2elapsed=10.758cpu=5.852gc=0.212factor=0.547zXZִF! 6]ŗXf1-/6vRZy ߃&O/GYc񍊗(=Ti1Tϝ/jv]͢1v(@x$)U#/6K̈z7ʸ& %h Xjri!`Nj( ƢR±gYZ7zXZִF! _]ŗXiɟ.6j@׵|Ix"V;mOW#xk贍مA.L&4  -|?m{ pgYZ7zXZִF! A]ŗXi%93<ښ|-;v8TF>l+0%l*]Գ0e86*jLd'kQP@%ݓsr)?",Z]h4o:!KDYeZPlG̈g Wo3#ƹ$M%66c[L\Í[`4exR;BM&]Wh{Է J@b5r1B5yE m;MZ(߄Z aEh{9WAy_A';gܜON^z/Z V) TrbEC+p&_'2|j6)H=3hG_ʹzRޘ(F^LU`*c7q6}:ƕ zRS:e Dozc{-arIh:?ճYC2WV|sJIy,<Ha[4 3ŌRIK0VH$0Bo#*eVjۑ;gYZf50e27c77b38983140f5c9a74d986bd505e5f395a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 - Constructor_Funs