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 -,,t ] HOL-SET_Protocol:threads=4elapsed=48.172cpu=151.400gc=2.200factor=3.147zXZִF! 0=N]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM<}pyߏ{uA^E /7})oZ:M]jrXZ vX25}ssxRg,}2p ᶪd (,[(GmNGW/-8nbrϧj*z_{W.1쥏eYLé'Ez"@/ZT i7T5B0T1^$o;%@Q0T?%1܀DB6U t!{G! or MKhbN< RBԣq/KܓB91 M(tIQigؐ2|6O2z r6@I豫Sn61 #? N~g!'x/'}e O2bm¬kWn '?TWoֱ\~W/0U\qXԧ7I" 3ÎQ'aMeVy^iʈʡPNpv{,#Riux 8 ƛV-i֕V)4-xa߮3R  dcHCyfDj!ǡESFI2UD-ӺP*/҄0Φ+4/.@dkft-5aPiӑ)+#Khlkz\VXҫ`qUgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fx"+,.Lk4 >A_*-lvo E@NzpbbNǭ7~  &o{7F6ZqNq1$>pN9WIy"*5%=/V W`V<hL|gYZ7zXZִF! #91]ŗXi%Gk0ӠG t <,ׯ"٩u2M~\[^&q K:OX ?q5FE[gBƱ Z8g` ׁ@޻TNVXl< W5BA\+~:O|W M@Jg_ |CQ a~o)Y|Ger p[ّB9g/pt+9dEF gxyI4_wdzPh fH FE'(44ݽu .3-Č<]igGX6XxU0Tx>ίMP)+|6ў?zH6M]1;UgQjY*DtJQNS2۝ra2_p-ͬ ܖc|dC<!^R_s  zeo__ [":ɞޔ(uLG,v*$@[MMM=?4VbjsXې2IM!,NTB %]Yrl?U8w'9>ρb oʺj1=GU]o2ߏPY-%TGeAX )~~r˵7 '463a3c!|m8k!XPi(Q)t6h:.>6v[ʓU@lۍF!&`%˴-vcOYJ F¾ ^2{sXY:|e1AǦ[,ulŲ w~h~!>BYI<"a!E%aĊ7Tt: %ruWV9< _n:5~M*$#=6>LLT0dí p.*yw>8r+-2]2gb')'|JWH W;,"ta9[:,o@/2 'Hu ^gDo:j\aa-\-[J)хX.u:Dg.Is\y Vh}/nN [(kX'ds&Et[&ԪY2^CVIa9's!2i{l:8*FJH&V$e[]sjI >`35i4"M~{o8qj_ '\s6}{~E2uOhYV!fȨ1h/sC)Ѩ8VI+lLt Nf%'p*.[Akqvhkk0"Qoܻ=U4ƒJLWj*/ + ϛ \.P1ݡ&_5D¡K:$8e7[yn9}+ .XSVߗX*KS% [vѴIYׂsf^zZ?y<E5IY[we_5gXUmQE ~eyk[vh bݺ| }[ffsVk Py8hIb)Ԧx=)*JtC0_.zu Xyqy p3; 4:07ƚȶ,o\Lȁ4} Of<%ʢoU8 5*;E/=G ժECGZN571Vr[QÃRI>i{Sw-,vуdȼ) *]б,l,ZD%.#MlIBMzI4tFnE E`@5{͡h wc,gYZ1451232449fc28fb8cb5624579fe30bc1d5c27194b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9