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 u d|D ]%]CAVA_Base:threads=2elapsed=8.515cpu=16.580gc=0.924factor=1.957zXZִF! i]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=on5o>='1)_c;,kc8IJ a9 GMC < ڔtypIr.K9?ЊDHYw>qxn/{-v[+H܍D}$I D?Uqλ6B5mdţ7~n qGVsubfe tk:2,:U.N42Hhr! ]Å#&h Ggѥ70k]lgr-XABiS#oEx켠DN~8ͳݜqf3ult1#b[IT]t 0s\Cy+Y_L%J<2 }2-&^_ĺߐSi$WѝmUN53weOX&CaaR|vMr ?ױYE Aԛ\;ZdaA c:Rή.^?(}@f_afgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2e6Q*ZZt9GH) Ufz0JȍvWcWD-EϻL ?ɨ%$شg!=?R^6 CRfO)Mw5lRd?<FTA6t.W#`.%*isD-"N%nh_&8|,ܼoaDVdOP:mnhOQ QhBڤicz0?ItGㅻ/6%&Uztj4{Sao"|]oY a8 LɇmHIQzoJzUug>"0n7|񦎺ָ#rKP2_袰%4)M EV/^= 9 "ڔgYZ7zXZִF! ']ŗXi%;~;ֶo;9j8[ ݵSrt(_hv>nnkmla_sE11Jڊv#ǖHQ$*z wqH{=psfh!]>Vַe.y # `jzY } Zv ]t}fب<Qn5z13rt{^aU@.5i{Ӈ:߬lJEd%/_cS ,G 62r*aWVI7<ifv{zweqK`nϔ^FKR'B%7X?ѨltC?KJ܉$F 0|e spM )Vh%Rץh5 X^4nnٷfaS.s00LA"Y?v<`%N<+'EqXf *;`ؙg=%u HlN:vHx*[E}_T>P+6׎ ]QxP(<kHůlV HXHKM@3>tl.K:J:jj(_,zb*Fn@ѣ|,$-Ob1jHXP93;*%zUi˶"*/ m^ɴ$E }vGͽTa٠V&JFOgYZ11e29bde0ff59ac40f32257c1fb3a6b734585ad879d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 c47cf66a7dd25f85d9efc73896780d67c0a94ffb 18c6951685c7a2319ebcf51cec66c7575088c186 25dbd0fa3fe11ccc0aa98717844f81a2a7e42b9ee312825f5aa1a2a535fdee5125897da8fb355064   CAVA_Base