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  , ,QLt ] HOL-TPTP:threads=4elapsed=5.329cpu=6.556gc=0.236factor=1.237zXZִF! f]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZ*\sΞ!j( H}T!c.Xy0'Ew6$5+ M|~ sIplԠ8Ѓv+5Dd1'ťϤs!+o:V`knzM3m&Tt˛r޺`e9_| gYZ7zXZִF! f]ŗXiɟ1{nOąmu ꅣ%G&ѯ9|lo]//ʘ΀97Ex~$,"{ㄛWlyjh8J h?F_~ X; 1%& 3u\LKfkdyZsώ]rqpL3ppMD˔oUo4㕤hG%4H/Ayo#=Zd<_ͱgYZ7zXZִF! !$1]ŗXi%IJ_WicGbV|Q%غ yJzDW &d}DFf=K&V7Gnol&>#t^1 ›װKx[\&ԧDOM`v'4]]5Ye*ewO2LDT٬w-Dto YQ5fR="SqDKݘu 1bD AXJFЦb5 ny>@JB`[=ỿ,ņbLs Νy6#*jJ;@׽?aLôq)hk#elqOF}[ p~$nw/OyU= 9øVvhW෇ˌ,Ys|ϰ(A ʳuoVOCīH<î~vjÕNd5d1n]2* fg}+g}*l JMjoA^@Aa_8yW419lPXf*<=V蓭 8d0OmB(ZVy2}9;K}+[ݮٗ6|n̙Xn'/GpC+_TS,f$e]C Ɨɬ֨SO26