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 q5 d4< ]% Rank_Nullity_Theorem:threads=2elapsed=21.322cpu=33.456gc=1.328factor=1.577zXZִF! ]ŗXf1-/6vR[Nݢk|m-Ľl1|}p&&~p5z> y`)|ۈ~PX6H7`GdX*WA:6ZjR iYLr?J=C4SVarh*$]>h!V}̵KhQoakQK`(c3G! llu22B}+fs G`Ubj lyޠ:Bq(yRfF9c7^zUKcA@m Pq7^=S)~L &p TP$ȿA2da jZEpE'f%l]=Xvt +ծ}e™:r_dihN7C,c?koT" 'LVeϭo)oQ%&uә6J_'w#ܱgYZ7zXZִF!  ]ŗXiɟa.yymBȗs곩J Tծ;keA¶f"EG_Dy㬯D֔<7K^>dV+YX2:5 Ld,t!p_4-g~k ߄}\? "PyE{&3@K_+mJvx :v ѱgYZ7zXZִF! p]ŗXi%6\ Gl89^O֛*bwRC,%vg!8}^"7be\76)kiV^Ob.xdx̚ߐ)tSC,Ok$}xowV/A2bBJٲxdܶ9wAC:DIQ=<M۷dfY|-=x\/|M7$}`a/V0Tx>P+ZX0t;M6og7(Oq㎏(sXPJA慑15gFbU։ZVgwjp'V99ڑ6s#ŕa#k W#!rTQb M GwJ7EbJfٷhh+94~DI9:vv楨 ^SWz놢6?nd]RU12{{h#F,9ъ"%2֎.p^-U*aeYwT޸=M(@JА*nN*lVJeLsMy;TxN52J{sWϿ6'Ov'^k0Uo@G ]yjsg\G)[S Bko@lx6inĹAEHBj`( P.NJPglܪyǐY1?BIά^}BO2 :p]  |Y~l>