SQLite format 3@ .;  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 J?,\D ]]HOL-Computational_Algebra:threads=6elapsed=50.327cpu=181.944gc=11.100factor=3.627zXZִF! QN]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(@LF,!5V/۳GX"[s2۫ (]bMˇࣾGM91b(Fp6i.G4TLe2zo4R` xsc[4ب:eͲ y K<'.zGg);o۾Z5Ԁ'0bE 'ȋ HlPi!A#UuY ?X(,XW&asbyrH~\r@ #6qȱe/pUSd'{ݪ E_OZ:c6cDT76akdp/Q0@D47nzW駉6P%s3.n3}m/OP%!DmQRy m̻}Y*Iλ\I_O.Cuv)3:_ %d'sBRgPݡɣWLqZAS+8[jMMfqh \̄K~h T|il<vzh4KIзȩϹI\׊R o'a;Rny zx8Ӆr%4!2Ѐ"̏ɝB{\j͊B1w=Iso@{'a=]piϐ, ;Q "Q S*Hl>UGU,ZV{1 *=.bf`2ޟV! laE("mX.;7.{i4+Ya?k{L.sV2 ɔ>8-n\;aϒPN24h{U y|?0oHZPIȪEmJ&8g#<nR0Z,ԇ,}) \dT*)|19^/䍋n'ͦ(<=\Oq`zMr} ww)n^bW /I3R]ʼޙĔF8JIΠ9&r4$bKM$dPYL?܆ f^zģ|*`f=YA}4jF66G` b( %dukʑc[%1{fAVFs.vsb@KV`8ȭ3M.~!i=J ; nm_cHD5g~J NHC- ?s"Ӿoa5zxv͸C4&ɽC[CeJjlc{Jg&LBHFOtփLekA%FFP[ mlUD-G5i멓DVF|”ksyp-00ULoo$,Ch u[tySNnrp`􏴓gu-,p7[h=1CBԐ'`@C=#2N++_TMjgww EXp%0G e`J"TuЌqj Xl~<"!h};C ]]R7KPH `G:no =wEd+F3 {O `~~Lz2Y=r*}%ЫgNXvLJhfɿюT#e<>I=wJN1/1/sHe!25: 6#+Kb[|ˎm37_cy>UЀH 56:ՌmQ}$յQ*];ȝ$#Kd:i=G(m@VLn K$N͆{NЦ ? HOL-Computational_Algebra  xfΡ`l3Kx|iN>h^\Wl}̎14.Iȿ kw:5fJܝD9H| 4'Rvao`>9?]!,Gѻ3 >[4Pe"?0\3¶Z_׊̹b,o[W[u=he{1v:E-sht#ն"/`qaSv: 8zM=߉~usL)P() PVN!R^}QaXb2 -"4ܬ.jJZOPiq:#u/6}.i#l Yr"ӯùtZ1=/1VoV^݃1?=k*_\30A>*QDЦxw_]tUu<%^M4FW6}_%I,-$dS,F #B.I/Fr, DDտ[hSe1rYZܵtwć %( Ous{ m)\~v D^m|cM|5O`7qC]'o~f>T5J.B[?-FDuqC1 '7Rm묶Ga()L0[KK'Izm̩Oc869ٷ9ht~*87b`ko[Xd!߁\ohcOds㡠OU_zY#-F÷[1 Sg(=|Ao7_S_H6>8?6_!06:j ,H"m. lulLRwfzs9 fKS56HY8yѩ-@Fldd %ARNJJȻGijp ҈0;8&;u1. :T{d#?t =,R! (!Cwv~h !)AMH8/ Ηu@ ¥4]9}01廸9}< `Ó֚G,-kZnK#5w66CbM%AAG#~M[s]/Бս+~v:dOh?XnR?q"ǿAcgl'+oFa,;Հp-q+X kwQ3pZ) *Gq+Z ."NW1*'!@`@D #e`2PAp9aC.1a^f$vg rjŜh=v[Şt>}) mCIBϾ_&;R5mϪFi\ۯJ˗8=|9vRkر:5SSi'@c,Y