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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  L|T ]% Topology:threads=2elapsed=7.472cpu=13.968gc=0.972factor=1.877zXZִF! ]ŗXf1-/6vR[k5Ksn J?AW.OecvE.k/qz-xn;$zU1 %GfͶ.81n5R? {FaD? GW*AjGV~8EC6 P!FHOĽ6ԵH$*fq$6̔zLEu>WY;Źt 4=2R`P\];?TWD4>Л6f"FBB /&O` c駆. ^깱gYZ7zXZִF! v]ŗXiɟqHhB"U΅/|{2͐v˦bv|oYWxSkM>.&Xj ҲyRKc8yzG˙jfpRϣ>m ^gYZ7zXZִF! 3a]ŗXi%;*һ_ VL+ ;>37>;/~JO yiӂ3B'zץ"W[{:r⎫EFsDZ"|_N&f B"gj\Fzsi_쨗/C'#Hߧڈm=m) aS8~ *6I'Zlw~&krp*Y o7d`jhރ$DpNÏF蕎f>Z