SQLite format 3@ .;  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  *-v,dL ]/ HOL-SET_Protocol:threads=6elapsed=25.778cpu=117.204gc=2.7487zXZִF! ,]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34eJq_m _i۽94S=yRYOa< K-sb-}tDQ,BnP@9-->(Ml|۟"}9nMϊΎDC8+PEixcdFX&rEJ*J yA".f>#eZ!ķV]iuǭ?ת,OqDͺmKw#7d oWk$/~/ _\jMjš M~G92] Rio ¡n- 2?mKڞfi! +,Z㹋GCO x4cՊ= }{582 - HOL-SET_Protocol  !e |%I3 b \=:ETYj+c(¼ B }6(dXn8WVO < HHKjߘsT[u؂l-$D,}v1CF:՚cc.QQ3vhK[~wA V"7 .99U]sV`"#)4zd4Q=<\.}-uU OԁM o{YgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{+,TגT$nٜ96Pw[6fҥh{lɥ9rjt`U@$fR'"Wz-`é/#J~W$k WgYZ7zXZִF!  ]ŗXi%L(q?-J 6{xuҋܨu*)r6˗֙w\wjy[)Eոx6& -lM4a~\9a'a:e U>TB qZ,H1p`XSweCl׋4jKn^SZV)1&ct郶XFP[Y$13\r`vcغXD  tFi1Az4R )Yk ,4<HR5 L^^@D_`IDQXE0!v0X^U4+~gŏ,yK=U Y\KډDa^Tgw]dT:viz  nW|}8Ğj D9`o|dG0ok>L^/NWM+,mDzT‘#QY?ykdJjjqK*Cr%bU%8x]Q!te5Ё`r~cE4{$P hceqĞ6FV]?1LU][Jp^G/Zcҍg'hP؏>Y?pH2#XSAl&b._#*^}.swѴ9σ3</`_M"}|uG3 Ds_ɀˈEZBBGY\8T/&(1-g;,jFqg?8NA"{#WFNu^޴m/9u0 ~y˱wRCz@O8xi* Z}zivP=xFφUK_YS6q\J/Ԇ7(B. $u7?Jz=b[6#$޲tobrsW: Yi5iG{p#O&EB {jcC`o'~m9ܛoma|δt wTSqK9-Z~5b}Pˍ S T6WUGSR/Rӈm<(%ږx^EUwt{b(5lH%]\wmDZ3Dɕ?xMAEFǁy?n+X|N;)Gr.)ݬ}}`s5-EQy^%!>{@]K)9TKp8R*wuԧj>W@'k 'fPy~{ |VWȗʅ&hZNlYO@EQ׆dQ f =:0,!^C!T8>fc;2dIc`bZ1f=%3{~TQZW <շ|1t2n{G|یdOOGϪQ'[ D*hߕ XنE{/+,\RJ9ڴq역>˼sՒn5]\h/O:clhDYYe>h ܾ>+b<|Ӱf}jS ѩ6BL>-/g}SXYgs㶲WRօM2ÑVmy+("ICx?xe-^%45  FRb8)WX: ,u@*x؈ >[P-qcv29(y9S.go wh>a1.H:CLܖ!K?6͛(kط?T27FMN1%N ɩGn=v$5ihOETrYZtؙ@~{qG`D=2ڋ}d~[