SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info f+P0)c2yg@Pv~T(BB9) )tu {~hG]Y^A[_n`28.L}I>c9h7R`[$'䬥)zane-gYZ7zXZִF! ]ŗXi%!+3ªrڽdOuj _J1}khK1er>7FO˫,U + Card_Partitions=EʸU#c~eY Ӵڰh-D_5|KXX 7H4ؽD#e @}0+|Z`D}\&%RϞ{n;fP/VnG1xdB?j.x|pr+Y@Q%2-`;,IvQw%E}]6{4c%ݘ<pG':5R_ <4B@4Rᱠ>)r[I2GX\ZS^O‡B3MM1GFG&N|{#O3+SFt/Dt2\H EdKx}X-MiN6w Vs*`E*($1>3lZMJaJUOvW$Wi@Q-xT.[ WeyĻx=ް6h `질FF\nC$ 8?h;9d(s s,5C$zD