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  y\ ]/ FFT:threads=2elapsed=1.477cpu=2.668gc=0.000factor=1.817zXZִF! f]ŗXf1-/6vRZ;qOYxqWgA ’ɶ'|C }VL WuN6宝,2z3oep`gYZ7zXZִF! ]ŗXi%60nV_$nzH ^ l=ScEh߈CD d0cHt5t,B$Y*iLDH |*ܟP M7 yXj)/tH(: [cVS2uTWsWV|YQ5[(Q0y }v:=j#rQ2Z kE%=qIf9)#^nI;|i t]= @2N[H1ӽ8v,nyY4yK:ewL@ÿg^ \e&$Ew/XYg,+-7Fv{`EEU\.@ZS+Vp`A/$OY2lzcs}i#\8M192%5٫4-{-L lsb硏"I|Oe*Or07?I`T^s`g αgYZd41992077e37dd02f8432ff45325fe81d5676e07e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87  FFT