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  z) D ]/ ClockSynchInst:threads=2elapsed=3.824cpu=6.596gc=0.100factor=1.727zXZִF! /]ŗXf1-/6vRZysB N^WG!mQ^|k [%#MŽ,}S`$lA&g'6dp꠺G5 ݘEML %򠼺hy&82s{M05>-MVm僆zn=ΨG;)ngYZ7zXZִF! Y]ŗXiɟlQ#ۈrKn6úw;?׆SY]p弓&ʿ  =^J8i 5˜u\!PgYZ7zXZִF! "]ŗXi%ή++vو@Ik^faS_۠Tpwp w)tBwƽOVIF&u;R[*1fmSӤHY cGyS@>*e Xytq)!t) ³7dEfɥD:fLq)mK}`x P,f)}s۞ %ޣ;3+6[oׂ)!j"/;9xOZtf'Gm>0o3[+`1X$eqBt@g2CQHǰp<11"UM>Yܜ%`Wi[!O*1ttx?/gh@GIw p $<4b9\7Vǵ5 E-"\,Gd'b`t k}Ow[m 6F0`)DukɲSg!t%Y,cdf=Q<'K^!RLo7UXdZ_C3xg4ğ$3ޠ%.xM؟%YgDB13?ggX2WYx/<x [g/ǡ4 ByVEm]AgYZb076eb54f807406369a5008fd801a233131b627e00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 ) ClockSynchInst