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 AA< T ]/ OpSets:threads=4elapsed=14.491cpu=46.536gc=1.212factor=3.217zXZִF! ]ŗXf[&ZyoU96{8Ɨgp ku3F.9앯2;<Y Vt auH*y:.N ΌG%Z|yr30]۬lq.yLK(nȼٚl#rNs4N K-2\B-rcA,4_d/~'~ crpTW'}Gm 9uG.6vsriI^W b2| FM#m 8DZN4Szeu {f\GQ*U,̱|X@4 tGn$Y2k\rAքa_"@WG3FE|i*/_V\0m6Ĕd +'J$(S޻q27@;]<)J5uatkSvǛ߮q&Cp~['p`乷їgᕇ yC" )~I[Qr7D;B_G+fNZ|GXTg΅ Żn+ ߻_'E=,+:K9BUQꫠf< zxпM UtkBUclX>$2a0Wnm\\bL;+##9#f9[qp~ Vsc!ڻ  Br\SpJtA޳T3;4n4ڃ+/yR_>e.i[ Gp"ܖpgU#%㋌zs 903p٬,% H.@Xc3kV]=1-!L~ѸwJf"A,:=k߶yo«|NK!Wahc;D5 )?FV.ϔ*$I^[˞4bˀ9FTLʉ|DtbD!)sRd"Sgtw4|9ʔֈ,'@kf:]rNȗ(Y;҅#t"Tϊ~:m7u3*OK>Uӛv,9|!_Z^{d0u_4lJW=,g#]{ҥH|m&9&<9! Thv A[64ChBU(G\^;; ̼},t5C5A⧗{Yq@a['59ɘG,1xSf/wmaGU (v>Q@ݢcXd C1yǍifpgvJPQ}D;s6.G"!ێn.(״F}D#LոKt.Ncgq6XNDȑamqqȘEEIStօK,.2sE ?am&"lOhȓۘq^ Z.@EתP4gN6$ Ӯ˚ʅc >IL@tBk萊xJQA)^6jG,Xӻ2Lml. D=J<_je2P`5]p3.[[Ki6AwξS5"Q/F7tYoZ 4N("ݶ BklЪW'‘|YЃ.^?\^?$>f Fԋ+òvS}x;>cݺ,ffd_xߠ#D3UMemt5fA)`&Ʀ_P=>Q |tP- ]?vyzېd֯-9۰L9aGkwl U3!ed{>؏lZ:Pq;MѐiLF7|q+0o){37L6+@%i-4P6SV&m(r݇ ߨaN \BQ6 ,3?eS&T! ev*]'Ќ>=QgYZc7c3dd35a4dc347b3a29853f456fd5ed1248dd6dc2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47   OpSets