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  H H5% ,|< ]/ HOL-NanoJava:threads=2elapsed=6.840cpu=11.820gc=0.636factor=1.737zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sW?GISN#n0Q0fl=Lf%+Uw_l戸gC0K\:5Ñژ%!̊1Gh{oLkciB-h\g%-'kܻ.K ,w7| /f 93Z UW17VS,K\'f2uWN 7]FD3 #hT!:e8B*[S-dv#:"Zu:gRUo=}.NyB8<ogw=9*H3D`I?ڈĹJu2ua+e݀3S Yh6 b?)u w !tiA/fP[63,v0JMYVjG妷`3>.J . ZrTRNuۡYfx${N̜P6HF0_mRM+y꼥M|)6ep(oL! ~8ĉk䅾]Bp8_qX &宔SiN>3-~9.&ӾH?8@Y)+c;o2f!cR