SQLite format 3 @ .; B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ' ' A+tT, ]/ SenSocialChoice:threads=4elapsed=15.606cpu=45.492gc=0.8527zXZ ִF ! hECb] ŗXiɟH)0%o
3Y2%<\#?("`oI3
J2 .5 vs7v{lS%d
Em~B glhEx8y(PB8 ^ gw(=2:BXiصY$KxiI2?0FW4:s
]wAC%pꀨwΚ҈:>c#F2'U/1Gt\.Rto ؟3mۡlU<)}#s4tBJ1d~[+ýND9{S\7-z?ۨ%~{)chhpmLFT9C9A?V'դP-M7Ū}6SS.X׀nW^h?'Q$g%5x5T*}tF:9,ۑUe͚|.0N}#&4qRN5.
JkKLfcB#jѼM,RPh$@.),A],02Ճ);`(QD"M9xmfP&"7ool!B(T8/nA8TWb| o*%3P8c#+Ne
%U)S#
<<ӂ0G,;AsBaنU*endocr;w%0Z`gJfεdq_GQ]n `\W28>[T]DO%|^f&mNDߪΆ.ty00?*fxcCU_ rUc0~ ƪȇ/T<qCml[:O[MCӜuc~Daxz-&kBsoM&rŇ! g+kZڟrtZ@V w/Yܽ#L