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 EE8 t| ]% Topology:threads=4elapsed=4.381cpu=15.488gc=0.864factor=3.547zXZִF! =]ŗXf[& omv1uڧ|,yw:A3p=ww`> >F#<ᗜDi,m$&m(F+miy[%]D}2]4M@F 0?L' ]b{YiޗDLPn}4w?3$b>3cym!=AKY%w~glA6H!v6 TE.\ZuqT1SX5J&*>7f4dQ7e}Hǰ2Rઈ8i*.tHqn&sٚډ0J'41)ϟo4"z7a:8揂|Jgoѭ?/`&?LTYBgln1$%ʀmlYDj&=hg3 B~^Ⴎt7Jw=[}I,YeN6*-߇-*㗮P槶pUf{Yvw O X.2Z ^PꔁDЇ)wiz:v_+SYY/uBs)~u91/k_֩nrJ4}5DiT:| |E@'S3f{V+FcFGv~L͓W]Omm/ЇA'WP~.i Z\й!}~ۅN7g#gNW"y OdPbN17 *,;0~|Wb-M@VQg-o/lhB\!|xRymr݁'6|S:;Q~&]fHNL!126K̉*Lsh4bd|Fdr,1̖#%9yYNBZ%*ư w nO7+֫K3e,Àv8˵`tfd&ݟd[v{dG E, y!O SN{檔^lDxģuk5M@/%78jXa|R]s"q$Fr6_h6t@W[}c"<+WypE۹EN=h>I]8չj5퀴79Ҷ`L;~Z<,)Le2u>)8&㦢79WqȯM(NzÂjG2^vK^[v\9gYZb7b50cc477760a7c93307bf6abf35df4e43810861795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be f492cb8444ec798d386f376215f7b1d35a403d0c 46fa33e285b2d099a06a09a3f508267acc99e1e4   Topology