SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 Q $, m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.362cpu=22.544gc=0.744factor=1.697zXZִF! P9 ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"R'Z'+1lcW:![yN9VN%.vP%Tgɧ5|ˏu%$w~JKCzuZH=nЊPb=1f+nWL8^)Ҵ%3Blm^NW,EY=\9LEg0(>$-(gm\TlN|lau7$y"0uEFσ|~jJF6R,ZS@dZDpD`'I O{? MrI3]$==M%Poy؁'Tm;/xMDnp.lO!M[+v^8cs\Pg~T}e噔aa,M`ҼEBӫvPt#H03~ee|_ftG t_doUՔ~4)jԡ`䵅)VG?P)^檌 Xv;*ďڮ6l(U%J/xxپtbczo@p:9QkMC(\Sj6[I#B\ 1#A!Q񺅘bGA<*ڡA)ArZ8 ;)BFN`M 0K ^pM,_%2{4pY9o&n /-Bp P6X{([SC_3QGa0iIY =esڞR}7`r $t-3&UNg4BʇGSWQLkFp_2nW]B_q8ۇfdJ0c2*YZN X-ҭn|bh} YD:¿Z]B[ThERDwEygyg^8||%dX59lRЍ9Ђ%4k.T;1_2bhɃMhIN )- :p&|}5DشP >lhZX;!B%f⎈=`遹R2K3))Bh)(߭JS9St*^:JrOޣwW5[,p?a,O$i~苟3ļqՈDe|gC:J[STUfb/T*HGj˘YҲ'=j  αgYZ7zXZִF! HP]ŗXi% c|&|Y\r9U'{ں_B}Fu ȔZGy͹X7^}r߽ qp oX: xoH,c!ߦWJEA$Ux-v=s{l(xLH~#NZOOeYߓ\KI!AvcT<2T0\y7#ʯV]{&^XiL V`vp{cԼGorC䰱 if?@+Y t1eq,J NnA _bvj0`tJAxR 7]?ևO0$9WPn6!`_h-yz%MqgDT@~teb$d/Tʊ|Ƞ).˛RՋ:ʯj17,`ETgG˪5cb?ٻƐ7q²V?\p3 *"ϩOGg^ig%ù%wC5eFlZTR(R[0E>X3e#u|[j1qL$ (6`Hqwq(V ~]Kά%. zޥj K B ;ԺOQG<˩!u(*4t%[iݲFM5&0ĥ|5" \xyT.} Y&W&eI.'Z@~P3['AHr 4yu3 `Kk=N 1֡wH{ e4z1kƷ51 DXjk^BHpu{m02*&mYǵj0%ֹsFyDzs=(`O>L).q: w XjlR'RbBbR;[4>MK(0YbEU0ݨtTx}qsi{;&bi@|%pҠ-85Mcw0sIMǮg8ci> gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b61079711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 %Q CryptoBasedCompositionalProperties