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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  2)l<4 ]/ DPT-SAT-Solver:threads=4elapsed=3.935cpu=8.000gc=0.096factor=2.037zXZִF! ]ŗXf[&!8,q<-q96\GT:n AIUҐ 7bK`@ l UYԞ>Y:{ᢋZ(8\<l<Yhܺ642YΓiqɞJ-n ʇ,lu>B9q@1'˱gYZ7zXZִF! X]ŗXiɟ°uk'}t T|=[PA"uEVO*u @D" qm;8싎w#Ct)ܱgYZ7zXZִF! )k]ŗXi%B0?[5uo{l#pJec.Ȋ[$ښoblsyӊ6L;fi)j8L դq]m= ;[[B?/^K/]>\4{x<~6u!$M!ਗ਼3 @ cJKSI&LTcit"Y&tH]ޡ0'U3= @ۆ:[,R;Vǭ{-h-v#R+G+(X9GL$ ' j[yX _zU&sc0*oM[NҲ耩 T(B2>ۑCy ^ڨS|!/*fٛRXW&Ԛ 6<d?mhjt:V]Vt^l.|35YaX4a%>neOD<Ϥ%\Mxgޫ+$/gUo5R!E5/ 俗˧s5X-6Hcʁ`j?G90J IѝC=KMw5~ ݬi{ fCXRf'gYZcdbdefd93083ab1fd849eba33719765c83ba24693853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 ) DPT-SAT-Solver