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 BB/% t S Latin_Square:threads=2elapsed=6.599cpu=13.012gc=0.196factor=1.977zXZִF! .]ŗXf1-/6vRZ(0@-U'`6ooE"j' *|x_'ǖn yb" ᐠS%UVnMRW*|?wry!~2+B`W!v`MB {ly 7ˎDt$|Ǖ"u£3RvwJ=kstr 6ybu;"mn<S(; "'o7z9N1\"n3aYiu4߭#ʎ;a^1X N3}L).aV<{uؚ#/,8°>mngg$M"Z=G屪tٌ!Pd6ҷ>4T / weR^ՋBA CƵW џ<'nMKM8J$V@*e2: )Qx C'"Ks bLѰ%&u]h&gYZ7zXZִF! *"3]ŗXi%DQMeӣOQ%ݖiɶ08zbSE ZI%y]5v۳-$a;xyG1?"24^Z`\b8K,-iQۓvJ"*Ը,Ο_4.$Tq㏆u39qc7%CtQ5ڬѓZAVaL5sFqυQr6᮹7;r:OsC98ۂKkdK=j=9k$y_0ªmq_A. ?k*\twUx| zGҵeF,χlr6OdV\YiRr 7'|{AdY۠$ ] ϦaVq>j^ObEw'eoMql]Kwh3jB¥= @! ir 2QGtzuwPi