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 h- Ld ]S]Relation_Algebra:threads=4elapsed=20.001cpu=59.696gc=2.460factor=2.987zXZִF! ]ŗXf[&&AINxOforZ>Q#P1?J0 q_xwYD6i Rd!}1jL;B!M2YTsQCj9-LE~@Bw &oWɤN0H(YB)Uo6^]1)n%L|1+cSحZ-QTJ&I2JrN)vN;yF6OrR/*3ly̳1KwysKҁOtKġ/2 ;fc1.Trť7D@GO S|5S-C B>*#A>rs'$tZ:2=% ؎JX_Et/ceГAXXY>M;vP=#E#IDQ8յH\g 2-aT*"\,eZ1\ i{o.՚gWo_JzB[PUr$א`!Vq$9n:WZ(lCj Bu2/]!EfH3&fP 3fJY!wi#Uo"rJII_ᗤ"{/P uY3oq*2PPDz4e*%@g=ϕZ"'k"j,J8ˌ9 L&v$*_47nlS k b Sujq>GgYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%';˻#{BPGWuKC֖L &ata W\kСL/FI N#%};Sg?D2gNVN2{v쵾'I _)2He- ( fm={(T`vcF=WJH /`^j;\E鄐|aaHgYZ7zXZִF! sH]ŗXi%B4H wlKld1Ф)1!2RH8W50.7\9LYcpo!2MHݐi=F80#۪ asd{[*#'"m%0[<tPn3H,lHw(ltvk-qGuFNH(2Ud%֡)n^l=Aj~cQ ?LݝP;b"?`}4}7~KDNk +I5@ȇwbN>Fm{C}ZL.l1q4UjPWF?5"î =c62$t*2nOJdJ9|Vu4M gH odS9x_V\s߽m8x>&s+9F[M;{f8[.Sԯ3A);ո}GX*eFo!BM䫋G{F߮ť%s8ףVCqj_Gc~Q${|< 7qdV7_.PxG԰麠- AnGڲcȌ=v)hqC괫N5_wI+0҄dq;~ˇ*k,I'agH;Sgω("K>ܜ$tigN9*jFy V!SnoĖ`(+qMMQ/@P+/!pNyE1$XiڌM✥ ,D Ƚ0زI' iXqW/8FTnˌXb+эli>gW՟)P.2kHYr~Z:x$.\[*Ԯ5pLCɟb(pYpbx%ɒkyt(Z ގ[ࣕr$-~,g{:i QƓ|d5W.qb1}J= ׻4! ff#7%VW^ #)Eݛ1;c!/qC ~JwԃW 1z)xytؓKey:,룪XME;քNpH%bY(Dׯ\7 V_~Ə7O:C$ӞEƄ '{ ooSQ$,/!2{%L8*Yp\ۈAaKdп 5(Au-E is˳IHMRcem$)CYg2;v+knWu%ǕZywstBrn$8^>Uj@zh 7­2(s9ID`ΊlԈB->݃ᰯXO15LhKNqh汊d=]V>>8bhE|z6c%mi*])sOA5+W.|glDJ^Ӄq!$I9Ħ tKIh>9şaI$adU뻗}xs"FcD-6 >B fRrkՒɍWT H2ri3' q6Äxtzr!*+IehSP+uD~?XCl=5/ERڇ́DA*jw~l&>3v=[BVJ*K2gYZ3f6d7b38a4c30b3f7bfb96d51cb2432373c923ad9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5f4a2d69164630c372a3b2f4b189eac207dc4312 e268a54d98ab76a390e3f79597526f3c60a7d3f142ddad1982f8103945248f4e3b91260ea3a3c23a - Relation_Algebra