SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 I/<< ]/ HOL-Proofs-Lambda:threads=6elapsed=111.449cpu=145.056gc=6.244factor=1.307zXZ ִF ! Q] ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}Oo=.@^u"fڑ^wzs]>G=t\r'HZT$#LUty͒ O] v32ġxD*TCbHdaϸWAad3&kDyZoZ#?o,$^Xp\(Z/1:axC a(qsZ)%]N_p4M Z`y<VL`yfw mOn`w1&i-qt`;y@̏1Z.MEP*ݲ85vWR" ki#I=pi{>c>DT]nGD_#=n:Eh[axo$X*6h 뇼 6@g YZ7zXZ ִF ! jW] ŗXiɟ11bu)]>_ws[Ɋ brJ#q{[Λ?&Rl" Qvvcݫıs_=$廇wpĺδ"YcmK%@3&*Q\qeGP)M%*@,`{$K+Ұ1B `Ԩyc3X-_ _ 1# wAلPf2!mr23M!2뎸N}ai _ )/]<9DM?! pD- {%g YZ7zXZ ִF ! W] ŗXi%@_Ϯ`ZoFه+i0O?ĸƓ]HČ'[ۅ#waKk
UuvC(a*]W,u4>ۗ};P_O`l}:뭓Ea=Ń ?%<@/9;zt験z$؋uV["A> &ZeL4G>)@ \|NЯ\ܵJfPj۾ɭńu\YŐ1M2Mp4^:M-?閅fv:tJ6N<r=r~2,4T5eE<