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   e#  | ]]HOL-Nominal:threads=6elapsed=6.470cpu=14.764gc=0.956factor=2.287zXZִF! 1]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTZBtglxKO IQك ZRu}?ޕ%CE4)VkSnvWFnrŚ-A~C 14eX3΋t?_}Oc~dJR.2ZE@-aB|,_W60'abYwC :ձgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ z&}y{hK)8 v&CW_@ca|%`I'{J}YZ7zXZִF! $]ŗXi%I4ŧt<rʳ, ^mNŲLt H7j~QZـ.=wt ^2*Tqmjۡ.׵Ќ-mYHqtgLZ5da*yu'0Z/]\QE\ VWQ++A hݣzM7tmE% A2͓D iEAEĤ * HEGf$ lgک'Lg6𻹗σHV.ڶFL2. q 'Α&*~Po7;ǣ4wUN1+b!q^v9;g*y-b8 "p1޵u)P3 &.BNPmrJf3=-@w l4.ܩJW-?Z{)gk >|)۰xcimFzēVEu|۬ aU;J<iuVBLUA1pt+QQ BEG9;/y]ӀQ]" 'ǚWS'0u>_Rc O+2eAIv F 3\2U̕=N QQOȍ3S@^{ z_¡h<4 >6ݥwlN"B#`" d9f]^vb-<:36uƕGOھ!o9ī ]#`J܊ªhŘO)"aaR9 &^eNIZN~zښuhR˧.9j[t8LS/F!.2F7i6/hgu%MJ`HsgYZ9e0bcbd6e6b7d25ae5c19bfab38b2feeff79d541bf9654100afe32c7d5bf427df7a0aaf9473b4b02 25da447281407266ec378fa715a0f0d237e17a82 d403fcb36aa62746c75c7a9da58026bfa7219c80693061dc776692400b7e68cd4ba5cd815fa897e0 # HOL-Nominal