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  D D1?LL ]]HOL-Computational_Algebra:threads=6elapsed=34.858cpu=122.892gc=6.224factor=3.537zXZִF! 3/]]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C[ci@~(4K0~C{n3*=,@b>.9ȻhorH>\ ٥) 0)_@K-_o1A R Y{ ;lȉh}QYIL#|:+dq6p$ -1zU(9r Fm>DjFnr7Mo=i۾cd^ uoyzҤ3gaͨ7 `> &-v "P5\T2b`xtkFjv||sWJ@Roޢij q%Z}O*ޕwD m?:@j;n%*"㜆@& 6}+L<+->M` ¶lEd Ns 7(%ͮE;uH&J!dEOp}*0SfvZO_ b3wO$HH$xSzRY|J.*"{%,V'\r|㵗 m'K-g5ʼQنh`]oڭxvpԹ|K$le?R #]P3CGHS֭@aؼࣅKh%e-C\5 ?>GZq.la3k K @:ؚ8W ? HOL-Computational_Algebra  eZ0 "-LxV2Q9W/d7D"@5S&$YߧtK W,"*FH] ̽$vrӎx>! V5ˡP:.+B-74mz2 Wji,L[Aח0H?[TВ.:Uu:*!/y_ae g,j/TFV-7&mTM>D&=HZbgGLr 70"# #a-.M2sOI] J鵕wnRiv!I=ok &.#O0/^r$؆Lv'͈,hRcfz]jhȁd[Z g-$ ">uZ2IS6 a$1l !OD3ܦj+Uת)< Z+5 vk- E:@N&J-]j(!D|)z!mO#I B<$giñc2"wb-CCn@a-40t{ySt'*阳j?(P9|NJpl[P2#~^BK5)SơW/bK _i%iDvDy)/v$ma@t d!&OYvW$%v# A|AմHҁ6e_F+_{^qh46.UP4!<}=DњZߟw]sҔ sKk] 51֩zs2&3鎭OR#OGbב1*i i; }SVi'Qz`U%Jf`D~' Jm*-̚Svkp<(.f苐'[$,H6s<!^EAܨ.R/Y#0vЧ@9c|oS@Gk- q*5gtJ,kCUG]Duc_gN5ȋWl N}kw%,Ud1"tGJ (q΅tP jXzdٕ y4'4A3y^34<(M@pS,7|o9O I)뼇XNL*aC5S0ί65L>#K`*w"_SoJ윩.F]tu/aei|mE"jJK爊{x8_.wЀ-Tm>| #5LA*Km"ƥht?cqJpOK]0څ+{ߪ3QRxZCώ<栤~Nz^c긒v>*͂_]i &;Rg%R֯ʇ> hd ;dK[hoH̾>1TaewlT6?ŽJe]#HlnkNV|516SZG5^wct=T ㅷ} mvMw (Q0Zg;AV )ɏ$տWc,Y-vO=V!3P]f:ߤQG$&PE**/?An^w X:٤h Y#gUpayœj-`bc I8ۓLh@ SioSB78Y+@[]4zù]+ܷ&R6P. Rupj D]$/$"C5M)vdљ$ p͒NxQ+ifgK vj\xzv5z`Lo ""PFp]Wr#NZi 6+(P<|o9lHM92O⟿u彺S<(_5$$CF呑Un,"3SgYZ78044a7dcb1292aba2e0e7251218b414d8bee0e36aadefe1122163e4dcc89994df87a16956357ee3 34b129f0039b76e6afee09ca991dade98e8798b8 f74426d42f41fbd2828a7d26cd4e1eda568e57a90dbc131031155f83615c9f454fca034d037401e8