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  x x,lT ]S IOA-ABP:threads=2elapsed=5.351cpu=9.776gc=0.272factor=1.837zXZִF! ,]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09dJ*ǩ!F %,_d9GH9DŽ>9"A)er&\`7E-xLo72Su^#89'tk𾮓DjOޛ⚂ųV;vTcI;.i)H2/JTJSv\̖W "xgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgw9YmIߡ`ւ&7qY5A? cRz[0%_o϶G  gp]~ˏ=y&03H}sU $PQ'Hb h^|}G&hv/A Ɲ!|SVEzwlP1A= c@RpK<.]8+L̛AĪڱgYZ7zXZִF! ]ŗXi%;u"nxrz"[pS5k3t**97RlCxO7cѯ U_z1snA^QC =!vCZogNZw4zXX2-Beh'#,SԪxL j/];#WY}5)d2ʙ\tt2'ǖX=SV݉P+,~$rX p [wN)ws'1WV=sMn|87nu k_ l aY+0vLm@0κ0N?c`Es[r&W&MDiC~ ,^J3\Cʴjw3|b!!@ys=f T"M/Yn*lvN$sQ[BDY : *"·jV(l0p֚'Dk>4N=DԤ75Pc:gYZ1094895511fb26734dc4af474cd7dcb1d761ae5edb6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b e1a49eba39be39a6d30f2432d1e20f9f853d1a3e 1ebbf4cc0fda4428b8f6a5a2a4c3413e18aa24e9   IOA-ABP