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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info **S \d ]/]HOLCF:threads=6elapsed=12.672cpu=40.964gc=2.648factor=3.237zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0xWr9jvx 9O94xKf"B5U[a{Hu|[O`މά'M.D U~(;TǓdM)T~P#`AF2baqr#Wܞ\{w$Gp\t3*)~#/{0 XRQp ՑW.,6&0j -͋?jm-b=B;x:]fA3>^WiMgYZ7zXZִF! F]ŗXiɟ>Ӈɇ9S2]hα*Lp#fד׻i9;kڬtwtt,Ou>WLF2{6SKW ,6pm?p"mh)xǫC)i l(Szv[>>E!6mȗ=fFβrhnU/`03 =2 wr5O R!L2E6A9nxT`*4DҳjJΜ!u%>5MV\X}L})sUritSo.9a zq#ޱ b?ƤdF_O tV_\9 EI~.fsIt0ujƺ| NTW"'Ɲs萪)|#Ý'>[U {6Q$ y`Zv.YϣX)YL$q+u]B:.'zL>ھhIvQ)m \:o׺5˙3aQ5ʲp7+)9dgDz# . fH˧蛃aH .z T~;G ϾȄ)*mף<ƐƁn&@NpNj`zKSR4h\܆'(t7LbǕ'nn1~䅷j-(Hȟ~wKee:}Ǥn_j.^$%k8 75F 3(.¢erFepC?y㿷_.t$kcR4c\+0(iQvǶX!a1JZ FQD[A.{EVC KCgYZ0f6766a06a913d4b68860e9cf4546fbcd3ff8aa6171f1401f05a7647b01cb7cdef953bd877fc895c 92d83a3f9935544ccc941b486a98a794a1901ee61b737957f874f36c13d742e908eb3d3278809d03  HOLCF