SQLite format 3@ . BBh77otableisabelle_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 ))T- $L4 ]S]Relation_Algebra:threads=2elapsed=24.961cpu=48.260gc=2.540factor=1.937zXZִF! v ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci+b.ֵMqѷWU0 Aeїk;DN5;>6[ф3V2=[fhBM"U=d;v:a cm*Aq|l˙,K暑'ii6u^X<=)?qAhΫ epDZAsJIډI?&@Xѷs\PivM1ݝ[[ǽP \jȦ8ܟR2' Q\$JHnE:8_Hp.NMR$>\9Te,S?ϰ0K[U&čDPD΀Q! hXyC+ޮvּj$̀h`k1Lk79G<5)e=@6@;jt >ObT~5f8%2+ВZ4t- W5iqbSU|B"אR Phy3koDS`faT{MKCotvqp''u'b%PS0,HH j'k e~66EϜ|~2 _<ʓ3gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%Щ0: Y؆\Fi .kK'1Se)Ik~ g-.3:_ߐQHP֌jB'؞Z\(=SF' _ A};a{"u՚TM{CXHG.> bd$DB,gYZ7zXZִF! ;]ŗXi%;6X+jm3g㱑nkyV({H".ϤIN|5GՅحn,27`FʶTޙt4u>:W Z/6 R8W̒\)Qyk`6a2_v o(kÅzn{;WLkx(Yk01CNzP6%M|945Kg vY@7 \V\,Rނ9Jø(tO 2ǫB¨>m˷r%A?eNq':0-,fp!m֏M)UE3n5M+4-{B%ܛ\DntASՔDȥ5gWkC@Cƒ6\Jd5;x] cyR8a-3#-;)X\E!^ .烪b`6o2ol_ҿh$ęf|=A$6=Qg 2]7JHT:'\F-Ɏc9ҙ`"D ĥtLZ2 2{   uGKn8)w7$xJ%-;saԜXEdĒB-tFTZjhIS}¿sH,$am?CC~E[CYX<`%#" twTY/U[HtM)K(Ɲ!b]V>z-QNL5lۨc?H+i9$$㜠XK7]WX^H*aflN}xuwPq 3>؍0OJY?{ʌKJ5eZM ^=]) V˲dMK giڡ,ď0 j!*&aIYվs/#p/ ,%I iD *&;ȩam1|pE0B;DՐrGn̋PϬA'șVabCH gh h=Uj4tK-LZ ~IrꐩWDQQm^FrE{3H+]hy&3HyHY}VIsCD|L\I,]^Y弁nr<vΊ ''.w/x{KW'Ln}8H=C<&K l0$k^v/I`qI `IriѹRf\xS5uPGxUG>%Kgn4R"8{Y*'ũ&*d6"M1\K :&a1 Ue}ellV44-=hk :Hkqȴ-!Ҁˌ %܌Z;Ir^U)lwI{9>Q: v5Nf)18#J'DmQd)tR瞏gڕPooˍ̳#j;\FjO #G|2Kh7(EEH3jPyOlGvhoBd|vȈXf¿sNNAɟ]E }sQ)b("tg"•O+R:ڰ f(#*A߄e%A `57rWZ:j~cZzj4Yl 'ngYZdc5224cc259b4a443f39ea6e99997b8593dc519579d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 3ce9ac9a9423afbb53288038c66a1b8cda2bf3ef 6337bb9e2c8dd41343cc73ce6fea3689708e4c79a9c5656171a391d5ec6c0c0d682ed0bf7d307dca - Relation_Algebra