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 yy3 4Tl ]/ MonoBoolTranAlgebra:threads=2elapsed=8.858cpu=14.332gc=0.676factor=1.627zXZִF! ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^esV^~܁Թ1^Ku:Y_VAelh&Af8@o_l}Eaph(_\?CCt'3F< ok6^sL Bã5v~9LZuwybN3[/V3D8gYZ7zXZִF! 3p]ŗXi%9#qw~ g2>f~u6o3lG+2=wю!KB01 FiwaN\ Yl2m.4\i'׷a+0iaЀU]h9%-Ǎuc^+G;O{=//@ &KK tI^ P^('fCEeGIA0,ؒˇjkڠ¤Ns790#ty[~OW ']#*Wd{'/` ~Y>WdZsK9oES$4Wz>Y36[M8&EĮ#.#hچ{7.b#5g҉&w^ W5Pm@sĉN.W_qnƘZ|V*4=r Վb~_|xw3 &fѪA!k^4H6;Ie4)-I;<\y]en&׍"@dm]}rgzűgYZfe439b639b1611384e00bf7aabe62f741aada08f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 3 MonoBoolTranAlgebra