SQLite format 3 @ . Y Y Q77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info D D 1) ]S Multirelations:threads=2elapsed=95.545cpu=103.892gc=4.496factor=1.097zXZ ִF ! 5] ŗXf1-/6vR[lRc2qJ)= ?$~)LX9u`m*]![u04WVè:R@;4rm֧3$6;Upx?6RA֛9٭Dfg9W2 N\SheСj1 !T*!Y,r`/fdNB|7>jFF&Ac.|ÿ[ ƞ7XfxGWL0AړMtxjeḶ391*-pϬ6F}| }0:tDE|xt+*WL !B!y{#Y"Vq(GMphnJl^dxe;rzFLTZZ5_Sc!Q)`biWnwc #?6qlęd2#=fA ,Kس3Y/4:_ΣD/#TS!Bف8nxNf .g ;V-´>{=ΰŹCC )?)LܡDp߁Bs'|^}F^IE*Am4\!~Y^/{xZٻm.`#VG+*锌I8y1CLs:_6Po=JCNm|g 2g+!o86pR%yxؙ iQ@GĻi=Bݯ]aاrU-ݵPOjWkpA`Ɉ`f&۽UgXq C!3 9:DONϿ=˙)2ydϛz?"PQ6p+T,pQë50 _e= KR Q)0t%'1@nuq@=?_y[jgN'qw!y!YnjM-#0'uȭ0/]Kh+7VRz&t=mD|՜ GOr4vx2:(r