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 !!\- d\t ]S]Relation_Algebra:threads=4elapsed=20.090cpu=62.144gc=2.232factor=3.097zXZִF! &,]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8UěEm5hDH}[igplCp,v PR.\}:`ƒ+i-% ?00IMiX;bX^LdFH}ZhϱoUǵf ]D>-3N2̳Z8nV,.ͅLD5fy\eg8pPmOpiGʂTЈUe]Gg-ܚ0d+ԭc]'& -#VJDYJQtzw]5mC8HPist,肎Q&'./&np87yFKZf41\6h NWy+vw@a&E+Y^jn8r*L.0-cEǯɢs Uazi\VZ!JJD~q vlF呏c%SD1qObg ĄRh~ D>[#=o'5A *T!Gv}qZvH&9SźVD;3#73ǻ M]%S5)MsV ?E]ɯ\eЌ-TsZ#yJ<T/RQr+oIJRD7FDg%v7,)Մ_v$q)|Dyc ٮOhـ9GcQ)n3y##R>p6tg'%nJ|gYZ7zXZִF! ]ŗXi%H7u[ǩwgVIlu$Lt~{K1ȶ-U@)W"ȖI,hkl @FAɀi&q>n@IgQuU:^@b9i8z/4mf܂ |/b'M d(v9Sògt4TfM@RJڍ6eJ}AnzuVD\@t0SG£;kۿ|!V. mD_"#AZ T(pԒ %ҙJ[U2ZdLt j|Rn'd#@FC>bfc3z")e4 {  wY*s/zzGdRVv{vl:Y8?{ ӑ̸O3`s/"Cjj!{7 sLvW6|=ե/ra4#oELh:vݿE'mdB #"4̮O C=mQIN/nȪUf\=~Eyńw etC2SQW i ]a%ƏБ0#$ IcqaqCYԤ;287 eyڶR︫^^׳\M)'[2W&}:O2_N?8cKJ^T$S65z:}Ihy@JNOItIxiUgmh ևI~60qj'|dD;o:_S38@S(?iZ'/K _ 򐳠b?'.U9RF?cv/[IY0A؎eiX'Y ̹ޠ 3WrWq5z4 #J部md21݄$يcıxZnU\3}M&"+޵^#H (3ŃB/R.|ҺU ,Ê#!_CsԺTos ,xEUmV)Mm{u56't`ل9cLJu-OHYM*}_h9IVfoe'}#)O69 #M|,J

4}v6aS$~L)W4Q^CLa<=+^ O3ŀyIY,Nf}w?>D2G%udW*UsU?C֛,c6>;t?=&+9qUtR4AA$N 6Qˣ}p[\>)\./|-t 2&5DRlKrgc.o -#hr薒u`mcvi|~C.sV 7u7oSSBx[*O9X@D%9'DG2&TCcN^VX@uԡvӒJa\Sg^6l ,&7:ӭ{:PǑ0<5 ,U)i/+Tp-4QV6$^6O+ ƈnwf_6Be@.<2]λ S|amu/Gt0ΒU[("ijROQ3(}m4yl#حn6f iTs's@`ɗڶΠTĪ^S MIkbF_rFF.7pX?a֗S5gHU=z$D]ЫTrܧNqd$6"p\ |G@̽ӡ]YwַC&Ė u +:1@L?sGK 3jIț1K*/xUeWwUqi-@Gc_]g7j:=ϊ* \}?3plTWoe $U)M_q6(pczma#c~fXk$I`UT$ҥKͫC}R`!'P(dtQ>a)n~Vs2gYZe4fa7c1a047d47212c2ff221fec947da121e9307a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 21c162074efe45b9b45c1371553b103f18d3ee25 9c2fc678a608cbf71e68e54c0b4393513ba314fa2838c62cf5a5475d9cd60f4893ccd26b6fe3d395 - Relation_Algebra