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 j' $L ]%]Matrix_Tensor:threads=4elapsed=37.075cpu=65.368gc=1.756factor=1.767zXZִF! V]ŗXf[&L_1;vU+o3&[_OC&>ᅬ+=[aNs =R(W#z"aȿ +EY%^$Ad+jٵ8:n$hzft&~6rY,Ne΍S{ 9R,^G5zDԑsm:ZjpڜT4=sc9IwՉ"^&4P"7/TN&—'j90bG PWESBXkQ%|''v8|bG٦m~BRRMz+f[aj2eC:Tgڢ5N;ЉL!/IijX BBնB)~/&aЈî +;Ar+ YMriS!|͘=]6Y0K(sѨ6uMǏa+ԙ6W*&_

gmkbQl!k}YZ7zXZִF! _]ŗXi%Bt(x0H&Zu&lx^c=#I ?mtbPpIjkl؈;2x+hbUNIŽl,㠼~ 'h<4UY ~bQUnu3@w~9#$Л^gO90]_<|W >ZG䱢}Gz mYB O;3+KN|aJ%D,I;F` h@STe S16rO5wsQiR1`~/yqs?" maUmHP `1&4PO;٧BSHݺȵ١n,gґ9Q4a [rjIt iDOAX'ꎶ2_?weMPXl^Cd8u԰m(sr11{ZWY?m=f[5k)V#_2GYĴN¢7`0n=ӌ:ف>dT{ WhFDiFɶK)"HS= <߉v"| }0 8R$PXM5/Gbe('DĻpNhP8@*ךnZ͎|<7!:){C_-3:̠:?SNGkEhe`^M IU?6]sǿ|)3'׏أ.s+8 ڜ4\Y Smڹc:xEw RG5XY "t ֵ6[rP+] ,zpZ†| JLjL{r _4c=X@%1{( 0L:}v=ߪk hT%nT!:Ey@JTSgN/@C Vu7%-wP'r % 9=L@XZhfa,b9/LKʌBq`n.Ҳ~CxVhm(HqBDҒͬt7=|Cko[FϩʰȻP_3AFv'@h c)^A|~-/Ob$XYq3{ DQ' 6W9:U`ZCe_ET@Tik@8*Ne|ʇse9x5P莅{.^+v3R=ϢJ%QyF.| 4Ld{x*P]>(ש3ՏMmmv#45;i!*}fF94ćp[@N Ui])ϧvPIw01Nm7/IVXke >^jOR<zUZ ifR Mw=sz"O:vw03m-=Y?hZCi8%Ћ "Hv骵YxHKe M57y+EaxZX cIdaZg}2;r ]铲D՜ʷ>u"G zTpT C[LXȴ{JݪS'pפ>xM,  .lhQt!P g]P +d?a51@IY7d 34m| ŜTcKZ5*$Z;(cjV420Jz)E+qquLAjOԻ8$p0S"#~KL V ,ف]!΀Lf~A+H<%xi nr+ܤľn3@tSK幗xkKU\WɥbԶK>ϋ`qA_8mx;tJloR*_3wB_"TGM ;,?-7 㤸kRɷpclB" X&~  _ۨ)\ Nף b zvj4H:8DZ#( 4.ɆOU1axo| \ėa J['Ck޴0p2#MoQjۍ晪-eNk'餖׫6?)|86hA(Z$I]+v E;|:#}/"J iU4ODGqPssRG~(n]~8JBrr;lh#!u`4窊gX j&ԶuI~h{gYZ5496ff31ac15f7eac0aa4123ff37b29e79624a87ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 71dd87a5b5d4857c0a23a7e2ab1b5ba6eeba547f 592c372e5ca9a3c946d3095a1cc32b9e80b507ab6dc447aed33455cd082b798a5c7ba43bb4f089d7