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  a?44 ]]HOL-Computational_Algebra:threads=6elapsed=32.563cpu=117.216gc=5.344factor=3.607zXZִF! 4T]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C[ci@~(4K0~CPkIjlQKqԖgp]+y_V0.Igi"Bti°?K.~7-oXaHAfb>w$_d>7%j+%* ssSV’ݶWlLJ늈jvŵ$ʼȾM:Vn r+2<'MםhYD9ꏯ$2 ? HOL-Computational_Algebra  #Dۄ q>~x~jTj?5_0ZF +NfB(pw Ǝ]N"]cыZR?a'ꬋ=N=}/.p`? 83j xM }k"ND ?knN9)5Wכ-GNv "t $'G!b⬩KeMR L94]_pp3\ )X9!W4,5,J{d42;231k j/jx0@lJS=]/PG@;r0Vnk* TAԋiiGoi+] J$TT_Rt!:n*q2EknȪO`9m-[yIUw4G ׿Gdݰ2,AGhY4 7ʂaY~wd+u$Uuт̦gCPxt /貸0J}titjqWﲘD>S*v- _:?K="*tHluPj[k._tiyxJo&`?VfG|B]ZRΠUOR7Y(m}`kDmQK98K7i{ ƋKG wUe"+AhzTpܳũh0J$G;vtI·wqDՈ\ː% _JgYZ7zXZִF! ]ŗXi%>Hmiq.7EL}o9h/8X BK:I4Ƹ:\\+eܱ-'̢v#t$Ei[9e:)sD'q(N S/'ZZepa|I?A'I \ۑ:->8Q,[(z˚r+wʦ 1OZQ~i$2 בnl˯fJ+팓tp^WuͲX mn`Js$ =?42>kڂZ"KRPnQǵa3Lu^* BtIxmTנMc/{-TrT\ u^̐kZb`Dk|,J,J#"QIFDsaP6$"yI%l և' q">d}k+ӓWMf},.k_-MN'T؊ZqKƤY nj\v]q[mSC>5 u3(MQ]Ho$r8$_ \a nH́b_Jcͨ? #YQMhdu%!"+~a̘[EbuxKF;LbD)|cA-uOOyiɘp#b*WU-\]fn>R2ЋT~%#:6D2WGY :AW8J"GoO'.h 0tжs\ v]"ip*VcyHuGwNXZtCw2RzAPyb+ZĶPAt,fbG,f=S2?ip& I~ee["FWr,Wa?fYSZ|@$,!eFH>X\F͍ZHoݾjH>4QllwQr*  ;sDih9q%dK*4M\mD!@.@eG(}LMx,5Yߡu:i2Leخmѵm*Z0\O+vEGqj['_h ah$>$]HDyhwbm1Z&)氯aYΕVVijf]^USFmMpT 2INRHU[&"&x)},5@%WQ`:=&R'|PmݘKtx؃@ ]$^P o?DSI0 LX}TfŰF[{ؿcu5S&I)' 2,Mx M4e`J-Z:]7~}\5W A%6Rխ|z}fµlkdx#c3[ 7F,ZiH5_,PlȌDjʮsqV5N$F"Ks;mgTL=*P5ok ]C|pȐQgJ3A}i;/W+gauvя0u4{Qj< 1T:޻>_wɈPQv=_PT0o+]tk%MyP^-k=\ 9|ZȿHʮ9ڿ#nS1QYȠJWSX8Qr5t̪M?.{i7x}~ i{56Ƈ(ԅߏ*O A >&v^agr "_Nc#S-|LK9ʩuJ߀bIm-cV*X ѻNpgYZ226af9d41fab44ad28a7e6a86f79a6d8d5423f1d357b42ac3beabedec26b51d2656ba583cf1eab4b 15d85692b7f1786c47e0baf09991f065726d2b19 1f9439498da2d8aca404011524b8312a5bdc159e2de3ab51c8ae63e1d8912ac6d63a7c211efaeb87