SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 55H% || II Stern_Brocot:threads=2elapsed=33.064cpu=53.812gc=3.704factor=1.637zXZִF! ]ŗXf1-/6vR[]ׇvb1߁ݶ8}F6j89"l\ v=]#8YȲTōWi~G2-q8qoZpPEgRÔL$,19gļC@Zkh׉ akhI*f2 LGxhBB@/Lv?z?#j?e (~d-ݚxf?-47G e<%{Āp/gᥖ1${KS~K#Ssf|,F4Dٓye(f[a׎ /+dWR9 &,:8"D1ixMTBvX*;[,mۖΦa ([>a[si[Sg,]Bfd ]3!VItD4y mJG奜TZj18e*Օ]q+ޅX%Mu I<|w(['BˮБ/F]Z18dh,Y' _DL>t:]00VôXRKW_Gg@#xO]JvчIg^ELDLnT:/RWej;x `Nm)lХӃjYɅuJ[&G\C ~v˳3$.wo ^mYӤ?앯yheS$5e7yE$0R~q%8oJϮE5}6 vXHOGxR !,\lWw]=Z&@X}mhC~>NYtXO>^8mvE3LfR:!->HЛ3KU:B+n