SQLite format 3 @ .0: 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 kE$d$ ]/ Encodability_Process_Calculi:threads=4elapsed=51.974cpu=148.408gc=7.756factor=2.867zXZ ִF ! "] ŗXf1-q恈͐7ӺV XN_JoXJAQ;[؍{J<+}-zʆR) 1Zߤ`xj,H}~)Lw8y Wr>ggW=@s_4]bZZMq0(L~O 43T.u (7 hƍ_SI">HIqޚNR!g1aa*myqʕ2k0O8㩙CwrVti^Zc־/=4G /On]*7nZ*?(lR}6 E Encodability_Process_Calculi C͌pO@4ڪ[8hDVv:[&(CA!7QQ,X%G5@|%oq|jzE2fCO|fhĶlwfi+7q{^j3=5$9yL'kZL|it$ (\tcX>%|5`OŷvD2u2싫䭢i0&fmkdF=#pv+zc0Fl)7nTMqᩤTkVj4_Y}rʐx&݀]Nn,Y>EX0M%~#i֦|%xz9oМTA%@C\/´/]᳐:[WޙK\JJh{唠$cDL K T㪏%?a*r8[kaTT6z[5O@ ݹ戴['\ ҆#-ߗ=ё6>\ZE+J{b" Ѡ}^M" n)#5l]myr"SmN* r~*3fStc^cg ZMk棣ͼ J>`r8ykL(ZJ^I? T2*9JoZ :ψU;hڕcsmݦM8͢o[l۞+m;ͲnqrGB AirF'ɍScV/: *rz4NY@5qJ XPc ^Ng4D@n2/k}n"maVޜVVIgݵ2xaXu3D\p:$(q^x~-,] YZIVI[O(cu|Car:6.PP>R 6 6